Pages that link to "Item:Q1120558"
From MaRDI portal
The following pages link to On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558):
Displaying 7 items.
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- (Q3522248) (← links)
- Limits, higher type computability and type-free languages (Q3708006) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)