Pages that link to "Item:Q3599178"
From MaRDI portal
The following pages link to An Introduction to the Lambda Calculus (Q3599178):
Displaying 8 items.
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Abstract computing machines. A lambda calculus perspective. (Q1769930) (← links)
- Computability Via The Lambda Calculus with Patterns (Q3070573) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- (Q4835611) (← links)
- (Q4890393) (← links)
- (Q4912847) (← links)
- The Intensional Lambda Calculus (Q5434495) (← links)