Pre-recursive categories
From MaRDI portal
Publication:1164127
DOI10.1016/0022-4049(82)90060-3zbMath0485.18005OpenAlexW2072017528MaRDI QIDQ1164127
Publication date: 1982
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(82)90060-3
cartesian closed categorynatural numbers objectpre-recursive categoryprimitive recursive functions in categoriesrecursive functionals of finite type
Recursive functions and relations, subrecursive hierarchies (03D20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)
Related Items
Transport of finiteness structures and applications, Galois Theory of Algorithms, Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic, An equational variant of Lawvere's natural numbers object
Cites Work
- General recursive functions of natural numbers
- \(\lambda\)-definability and recursiveness
- Recursive Functionals and Quantifiers of Finite Types I
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Functional completeness of cartesian categories
- Categorical algebra
- Recursive objects in all finite types
- Aspects of topoi
- Computability and λ-definability
- Unnamed Item
- Unnamed Item
- Unnamed Item