The following pages link to (Q4222771):
Displaying 8 items.
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- Linear dependent types in a call-by-value scenario (Q2441513) (← links)
- Weak linearization of the lambda calculus (Q2566028) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809) (← links)
