Primitive recursion, equality, and a universal set

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)

zbMATH Keywords

categorical framework for primitive recursionprimitive recursive categoriesprimitive recursive theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Special categories (18B99) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Cartesian categories with natural numbers object
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item

This page was built for publication: Primitive recursion, equality, and a universal set