PI.R2)

Identifiers

• name variant PI.R2) 0.60 · backfill

Papers (3)

1. Realizability Interpretation and Normalization of Typed Call-by-Need $$\lambda$$-calculus With Control cs.LO · 2018 · author #2
2. Syzygies among reduction operators math.RA · 2017 · author #2
3. Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant cs.LO · 2015 · author #4

Mentions

• 1505.05028 #4 · backfill · confidence 0.70 PI.R2)

Frequent Coauthors

• Cyrille Chenavier (IRIF 1 shared papers
• \'Etienne Miquey (GALLINETTE 1 shared papers
• Hugo Herbelin (PI.R2) 1 shared papers
• Hugo Herbelin (PPS 1 shared papers
• PPS) 1 shared papers
• Th\'eo Zimmermann (ENS Paris 1 shared papers