- Induction–recursion and initial algebras.Peter Dybjer & Anton Setzer - 2003 - Annals of Pure and Applied Logic 124 (1-3):1-47.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
A note on Russell's paradox in locally cartesian closed categories.Andrew M. Pitts & Paul Taylor - 1989 - Studia Logica 48 (3):377 - 387.details
|
|
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.details
|
|
1995 European Summer Meeting of the Association for Symbolic Logic.Johann A. Makowsky - 1997 - Bulletin of Symbolic Logic 3 (1):73-147.details
|
|
B-Systems and C-Systems Are Equivalent.Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North & Egbert Rijke - forthcoming - Journal of Symbolic Logic:1-9.details
|
|
Structured theory presentations and logic representations.Robert Harper, Donald Sannella & Andrzej Tarlecki - 1994 - Annals of Pure and Applied Logic 67 (1-3):113-160.details
|
|
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.details
|
|
Generalised algebraic theories and contextual categories.John Cartmell - 1986 - Annals of Pure and Applied Logic 32:209-243.details
|
|
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.details
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|
Type Theory and Homotopy.Steve Awodey - unknowndetails
|
|
A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.details
|
|
Categories with families and first-order logic with dependent sorts.Erik Palmgren - 2019 - Annals of Pure and Applied Logic 170 (12):102715.details
|
|
(1 other version)Models of HoTT and the Constructive View of Theories.Andrei Rodin - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.details
|
|