Primitive recursion, equality, and a universal set
From MaRDI portal
Publication:4322431
DOI10.1017/S0960129500000499zbMath0818.03024MaRDI QIDQ4322431
No author found.
Publication date: 9 February 1995
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
categorical framework for primitive recursion; primitive recursive categories; primitive recursive theories
03G30: Categorical logic, topoi
18B99: Special categories
03D75: Abstract and axiomatic computability and recursion theory
Cites Work