- Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.details
|
|
On the semantics of the universal quantifier.Djordje Ubri - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
An Overview of Type Theories.Nino Guallart - 2015 - Axiomathes 25 (1):61-77.details
|
|
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.details
|
|
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.details
|
|
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
First-Order Homotopical Logic.Joseph Helfer - forthcoming - Journal of Symbolic Logic:1-63.details
|
|
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.details
|
|
Alpha-conversion, conditions on variables and categorical logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.details
|
|
Totality in arena games.Pierre Clairambault & Russ Harmer - 2010 - Annals of Pure and Applied Logic 161 (5):673-689.details
|
|
Martin-Löf complexes.S. Awodey & M. A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):928-956.details
|
|
Types, Sets and Categories.John L. Bell - unknowndetails
|
|
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknowndetails
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|
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
|
|