The following pages link to (Q3982064):
Displaying 9 items.
- Graph easy sets of mute lambda terms (Q288793) (← links)
- One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus (Q1104313) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Some new results on easy lambda-terms (Q1314346) (← links)
- On the Jacopini technique (Q1376416) (← links)
- Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term (Q1892095) (← links)
- Marginalia to a theorem of Jacopini (Q2708320) (← links)
- Simple easy terms (Q2842831) (← links)
- Easy lambda-terms are not always simple (Q2889181) (← links)
