Pages that link to "Alonzo Church"
The following pages link to Alonzo Church:
Displaying 14 items.
- Turing Machine (← links)
- Lambda Calculus (← links)
- Entscheidungsproblem (← links)
- David Hilbert (← links)
- Gödel's incompleteness theorems (← links)
- Type theory (← links)
- Universal Turing Machine (← links)
- Computability (← links)
- Lambda calculus (← links)
- Haskell Curry (← links)
- Digital computers (← links)
- Functional Programming (← links)
- Jacques Herbrand (← links)
- Formal methods (← links)