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 4 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)
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890) (← links)
- Why Sets? (Q5452179) (← links)