- Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.details
|
|
Universes and univalence in homotopy type theory.James Ladyman & Stuart Presnell - 2019 - Review of Symbolic Logic 12 (3):426-455.details
|
|
Featherless Biped.[author unknown] - 1979 - Proceedings and Addresses of the American Philosophical Association 52 (4):532-536.details
|
|
Grundgesetze der arithmetik.Gottlob Frege - 1893 - Jena,: H. Pohle.details
|
|
A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.details
|
|
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.details
|
|
Category theory as an autonomous foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.details
|
|
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.details
|
|
The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
Die Grundlagen der Arithmetik. Eine Logisch Mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege & Christian Thiel - 1988 - Journal of Symbolic Logic 53 (3):993-999.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.details
|
|
Implementing Mathematics with the Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.details
|
|
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.details
|
|
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.details
|
|
The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.details
|
|