The following pages link to (Q4986735):
Displaying 6 items.
- Strong reduction of combinatory calculus with streams (Q2352459) (← links)
- Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
- Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- A small model theorem for the hybrid -calculus (Q3195619) (← links)
- Innocent game models of untyped \(\lambda\)-calculus (Q5958298) (← links)