The following pages link to (Q3837724):
Displayed 8 items.
- Applications of infinitary lambda calculus (Q1021568) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Infinitary lambda calculus (Q1392145) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Simple Easy Terms (Q2842831) (← links)
- Infinitary lambda calculi and böhm models (Q5055835) (← links)