An intuitionistic theory of types

Cached

Download Links

by Per Martin-Löf
Citations:67 - 0 self

Active Bibliography

3 Gödel's Unpublished Papers on Foundations of Mathematics – W. W. Tait
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
Proof interpretations: theoretical and practical aspects – Jaime Gaspar - 2011
34 On the computational content of the axiom of choice – Stefano Berardi, Marc Bezem, Thierry Coquand - 1998
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
88 Functional interpretations of feasibly constructive arithmetic – Stephen Cook, Alasdair Urquhart - 1993
16 New Effective Moduli of Uniqueness and Uniform a-Priori Estimates for Constants of Strong Unicity by Logical Analysis of Known Proofs in Best Approximation Theory – Ulrich Kohlenbach - 1993
1 The Constructive Foundations of the System eb – D. E. Stevenson - 1996
1 What Is Computational Knowledge And How Do We Acquire It? – D. E. Stevenson
approximation – Ulrich Kohlenbach
19 Higher Order Logic – Daniel Leivant - 1994
Niels Jakob Rehof Morten Heine Srensen – Diku Department Of, Niels Jakob Rehof, Morten Heine Srensen - 1994
FOUNDATIONS OF EUCLIDEAN CONSTRUCTIVE GEOMETRY – Michael Beeson
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
114 Explicit Provability And Constructive Semantics – Sergei N. Artemov - 2001
New dimensions on translations between logics – Walter A. Carnielli, Marcelo E. Coniglio, Itala M. L. D’ottaviano, Dedicated Mário, Tourasse Teixeira, Antonio Mário Sette
c ○ 2009 Birkhäuser Verlag Basel/Switzerland What is a Logic Translation? In memoriam – Joseph Goguen, Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki