Pages that link to "Item:Q4779210"
From MaRDI portal
The following pages link to Origins of Recursive Function Theory (Q4779210):
Displayed 4 items.
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The problem of space invariance for sequential machines (Q1102112) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)