Pre-recursive categories
- 30 April 1982
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 24 (1) , 79-93
- https://doi.org/10.1016/0022-4049(82)90060-3
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Recursive objects in all finite typesFundamenta Mathematicae, 1964
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Computability and λ-definabilityThe Journal of Symbolic Logic, 1937
- General recursive functions of natural numbersMathematische Annalen, 1936
- λ-definability and recursivenessDuke Mathematical Journal, 1936
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936