The following pages link to Tridirectional typechecking (Q3452267):
Displayed 6 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- On the unity of duality (Q2482843) (← links)
- Extensible Datasort Refinements (Q2988653) (← links)
- Refinement Types as Proof Irrelevance (Q3637193) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- Termination checking with types (Q4659886) (← links)