The following pages link to (Q4128535):
Displayed 7 items.
- Forcing in stable models of untyped \(\lambda\)-calculus (Q698623) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Some new results on easy lambda-terms (Q1314346) (← links)
- On the Jacopini technique (Q1376416) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Easiness in graph models (Q2368937) (← links)