Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Street, Ross
1984.
The family approach to total cocompleteness and toposes.
Transactions of the American Mathematical Society,
Vol. 284,
Issue. 1,
p.
355.
Robinson, Edmund
and
Rosolini, Giuseppe
1990.
Colimit completions and the effective topos.
Journal of Symbolic Logic,
Vol. 55,
Issue. 2,
p.
678.
Carboni, A.
1995.
Some free constructions in realizability and proof theory.
Journal of Pure and Applied Algebra,
Vol. 103,
Issue. 2,
p.
117.
Cristina Pedicchio, M.
1995.
Maltsev categories and Maltsev operations.
Journal of Pure and Applied Algebra,
Vol. 98,
Issue. 1,
p.
67.
Kock, Anders
1995.
Monads for which structures are adjoint to units.
Journal of Pure and Applied Algebra,
Vol. 104,
Issue. 1,
p.
41.
Hu, Hongde
1996.
Flat functors and free exact categories.
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics,
Vol. 60,
Issue. 2,
p.
143.
van Oosten, Jaap
1997.
Extensional realizability.
Annals of Pure and Applied Logic,
Vol. 84,
Issue. 3,
p.
317.
Carboni, A.
and
Vitale, E.M.
1998.
Regular and exact completions.
Journal of Pure and Applied Algebra,
Vol. 125,
Issue. 1-3,
p.
79.
Birkedal, L.
Carboni, A.
Rosolini, G.
and
Scott, D.S.
1998.
Type theory via exact categories.
p.
188.
Vitale, Enrico M.
1998.
Localizations of algebraic categories II.
Journal of Pure and Applied Algebra,
Vol. 133,
Issue. 3,
p.
317.
Rosolini, G.
and
Streicher, Th.
1999.
Comparing models of higher type computation.
Electronic Notes in Theoretical Computer Science,
Vol. 23,
Issue. 1,
p.
159.
Johnstone, Peter
Power, John
Tsujishita, Toru
Watanabe, Hiroshi
and
Worrell, James
2001.
On the structure of categories of coalgebras.
Theoretical Computer Science,
Vol. 260,
Issue. 1-2,
p.
87.
Lack, Stephen
and
Vitale, E.M.
2001.
When do completion processes give rise to extensive categories?.
Journal of Pure and Applied Algebra,
Vol. 159,
Issue. 2-3,
p.
203.
Robinson, Edmund
and
Rosolini, Giuseppe
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
173.
Menni, Matı́as
2003.
A characterization of the left exact categories whose exact completions are toposes.
Journal of Pure and Applied Algebra,
Vol. 177,
Issue. 3,
p.
287.
van den Berg, Benno
2005.
Inductive types and exact completion.
Annals of Pure and Applied Logic,
Vol. 134,
Issue. 2-3,
p.
95.
Maietti, Maria Emilia
2007.
Computation and Logic in the Real World.
Vol. 4497,
Issue. ,
p.
517.
2008.
Realizability: An Introduction to its Categorical Side.
Vol. 152,
Issue. ,
p.
291.
VAN DEN BERG, BENNO
2009.
Three extensional models of type theory.
Mathematical Structures in Computer Science,
Vol. 19,
Issue. 2,
p.
417.
Maietti, Maria Emilia
2009.
A minimalist two-level foundation for constructive mathematics.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 3,
p.
319.