The following pages link to Completing Herbelin’s Programme (Q3612626):
Displayed 5 items.
- The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
- Proofs, Upside Down (Q2937799) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- Monadic Translation of Intuitionistic Sequent Calculus (Q3638248) (← links)