Pages that link to "Item:Q1283777"
From MaRDI portal
The following pages link to A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777):
Displaying 5 items.
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- An algebraic theory of clones (Q2120441) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
