Cartesian categories with natural numbers object
From MaRDI portal
Publication:1822604
DOI10.1016/0022-4049(89)90042-XzbMath0679.18004MaRDI QIDQ1822604
Publication date: 1989
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Related Items
Primitive recursion, equality, and a universal set, Aspects of Categorical Recursion Theory, V-comprehensions and P space, Tail recursion through universal invariants, List-arithmetic distributive categories: Locoi, An internal language for autonomous categories, Induction, Coinduction, and Adjoints, Galois Theory of Algorithms
Cites Work