ELEMENTARY QUOTIENT COMPLETION
暂无分享,去创建一个
[1] A. Carboni,et al. The free exact category on a left exact one , 1982 .
[2] A. Carboni,et al. Regular and exact completions , 1998 .
[3] Ieke Moerdijk,et al. Algebraic set theory , 1995 .
[4] Bengt Nordström,et al. Programming in Martin-Löf's Type Theory , 1990 .
[5] T. Coquand,et al. Metamathematical investigations of a calculus of constructions , 1989 .
[6] M. Makkai,et al. First order categorical logic , 1977 .
[7] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[8] Walter Tholen,et al. Facets of descent, I , 1994, Appl. Categorical Struct..
[9] Maria Emilia Maietti,et al. Toward a minimalistic foundation for constructive mathematics , 2005, From sets and types to topology and analysis.
[10] Thomas Streicher,et al. Independence of the Induction Principle and the Axiom of Choice in the Pure Calculus of Constructions , 1992, Theor. Comput. Sci..
[11] Jaap van Oosten. Realizability, Volume 152: An Introduction to its Categorical Side , 2008 .
[12] Bart Jacobs,et al. Categorical Logic and Type Theory , 2001, Studies in logic and the foundations of mathematics.
[13] Andre Scedrov,et al. Categories, allegories , 1990, North-Holland mathematical library.
[14] F. William Lawvere,et al. Adjointness in Foundations , 1969 .
[15] Thierry Coquand,et al. Inductively defined types , 1988, Conference on Computer Logic.
[16] Walter Tholen,et al. Beyond Barr Exactness: Effective Descent Morphisms , 2003 .
[17] F. W. Lawvere,et al. Diagonal arguments and cartesian closed categories , 1969 .
[18] Maria Emilia Maietti,et al. A minimalist two-level foundation for constructive mathematics , 2008, Ann. Pure Appl. Log..
[19] Giuseppe Rosolini,et al. Quotient Completion for the Foundation of Constructive Mathematics , 2013, Logica Universalis.
[20] A. Carboni,et al. Some free constructions in realizability and proof theory , 1995 .
[21] J. Hyland,et al. The Discrete Objects in the Effective Topos , 1990 .
[22] Marco Grandis,et al. Weak subobjects and the epi-monic completion of a category , 2000 .
[23] Lars Birkedal,et al. Type theory via exact categories , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[24] Giuseppe Rosolini,et al. Locally cartesian closed exact completions ( , 2000 .
[25] F. W. Lawvere,et al. Sets for Mathematics , 2003 .
[26] Walter Tholen,et al. Facets of Descent, II , 1994, Appl. Categorical Struct..
[27] Jaap van Oosten,et al. Realizability: An Introduction to its Categorical Side , 2013 .
[28] Paul Taylor,et al. Practical Foundations of Mathematics , 1999, Cambridge studies in advanced mathematics.