- (1 other version)A Comparison of Type Theory with Set Theory.Ansten Klev - 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. 271-292.details
|
|
(1 other version)A Comparison of Type Theory with Set Theory.Ansten Klev - 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. 271-292.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Introduction to Combinators and λ-Calculus.J. Roger Hindley & Jonathan P. Seldin - 1988 - Journal of Symbolic Logic 53 (3):985-986.details
|
|
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.details
|
|
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
Towards a More General Concept of Inference.Ivo Pezlar - 2014 - Logica Universalis 8 (1):61-81.details
|
|
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.details
|
|
The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.details
|
|
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.details
|
|
On Dummett’s Pragmatist Justification Procedure.Hermógenes Oliveira - 2019 - Erkenntnis 86 (2):429-455.details
|
|
Collected Papers on Mathematics, Logic, and Philosophy.Gottlob Frege - 1991 - Wiley-Blackwell. Edited by Brian McGuinness.details
|
|
(1 other version)Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.details
|
|
Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.details
|
|