Lambda Calculus and Recursion Theory (Preliminary Version)
- 1 January 1975
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Effective operations on partial recursive functionsMathematical Logic Quarterly, 1955