Per Martin-Löf's Beth Lecture: "The Hilbert Brouwer Controversy Resolved?"
Truth and Knowability: On the Principles C and K of Michael Dummett
CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
I. THE CONSTRUCTION OF MATHEMATICS
II. MATHEMATICS AND EXPERIENCE
Martin Lof's essay "Truth of a Proposition, Evidence of a Judgement, Validity...
An explaination of the foundations of
Per Martin-Löf's essay "The Definition of Random Sequences" , Information and...
Martin-Löf type theory, the Curry-Howard correspondence and some of its conne...
A typescript with annotations of Robert Constable and perhaps others. An esti...
This book describes some basic ideas in set theory, model theory, proof theor...
Martin-Lof 100 Years of Zermelos Axiom of Choice
Per Martin Löf Verificationism Then and Now
Maria van der Schaar (Ed.): Ju...
homotopy type theory
Sorry, we are unable to log you in via Facebook at this time. Please try again later.
By joining, you agree to our
Already a member? Sign in.
Continue as Guest
This action might not be possible to undo. Are you sure you want to continue?