Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Taylor, Paul
1996.
Intuitionistic sets and ordinals.
Journal of Symbolic Logic,
Vol. 61,
Issue. 3,
p.
705.
Winskel, Glynn
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
98.
Cattani, Gian Luca
Stark, Ian
and
Winskel, Glynn
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
106.
Marquis, Jean-Pierre
1998.
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes..
Notre Dame Journal of Formal Logic,
Vol. 39,
Issue. 3,
Cattani, G.L.
Fiore, M.
and
Winskel, G.
1998.
A theory of recursive domains with applications to concurrency.
p.
214.
Maietti, Maria Emilia
1998.
Types for Proofs and Programs.
Vol. 1512,
Issue. ,
p.
216.
Simpson, Alex K.
1999.
Computer Science Logic.
Vol. 1584,
Issue. ,
p.
323.
Simpson, A.K.
1999.
Elementary axioms for categories of classes.
p.
77.
Gabbay, M.
and
Pitts, A.
1999.
A new approach to abstract syntax involving binders.
p.
214.
Antonelli, G. Aldo
1999.
Free set algebras satisfying systems of equations.
Journal of Symbolic Logic,
Vol. 64,
Issue. 4,
p.
1656.
Carboni, A.
and
Rosolini, G.
2000.
Locally cartesian closed exact completions.
Journal of Pure and Applied Algebra,
Vol. 154,
Issue. 1-3,
p.
103.
Hazewinkel, Michiel
2000.
Encyclopaedia of Mathematics.
p.
102.
Mathias, A.R.D.
2001.
The strength of Mac Lane set theory.
Annals of Pure and Applied Logic,
Vol. 110,
Issue. 1-3,
p.
107.
Simpson, A.
2002.
Computational adequacy for recursive types in models of intuitionistic set theory.
p.
287.
Maietti, Maria Emilia
2003.
Joyal's arithmetic universes via type theory.
Electronic Notes in Theoretical Computer Science,
Vol. 69,
Issue. ,
p.
272.
Kouwenhoven-Gentil, Claire
and
van Oosten, Jaap
2005.
Algebraic set theory and the effective topos.
Journal of Symbolic Logic,
Vol. 70,
Issue. 3,
p.
879.
van den Berg, Benno
and
de Marchi, Federico
2007.
Models of non-well-founded sets via an indexed final coalgebra theorem.
Journal of Symbolic Logic,
Vol. 72,
Issue. 3,
p.
767.
Awodey, Steve
Butz, Carsten
Simpson, Alex
and
Streicher, Thomas
2007.
Relating First-Order Set Theories and Elementary Toposes.
Bulletin of Symbolic Logic,
Vol. 13,
Issue. 3,
p.
340.
Awodey, Steve
2008.
A Brief Introduction to Algebraic Set Theory.
Bulletin of Symbolic Logic,
Vol. 14,
Issue. 3,
p.
281.
Staton, Sam
2008.
General Structural Operational Semantics through Categorical Logic.
p.
166.