scientific article; zbMATH DE number 517050
From MaRDI portal
Publication:4282578
zbMath0794.03097MaRDI QIDQ4282578
Publication date: 28 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
comprehension principletheory of constructionstheory of predicatestype theory of sets and predicates
Logic in computer science (03B70) Categorical logic, topoi (03G30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (3)
Maps. I: Relative to a factorisation system ⋮ On completeness and cocompleteness in and around small categories ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
This page was built for publication:
