Pages that link to "Item:Q4359526"
From MaRDI portal
The following pages link to The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526):
Displayed 13 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890) (← links)
- (Q4991956) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Many more predecessors: A representation workout (Q5110930) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
- Why Sets? (Q5452179) (← links)