The following pages link to (Q4222771):
Displaying 14 items.
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- On the semantics of the call-by-name CPS transform (Q1575687) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- Linear dependent types in a call-by-value scenario (Q2441513) (← links)
- Weak linearization of the lambda calculus (Q2566028) (← links)
- The Call-by-Need Lambda Calculus, Revisited (Q2892724) (← 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)
- The call-by-value λ-calculus: a semantic investigation (Q4719353) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Term Rewriting and Applications (Q5703850) (← links)
