Git Product home page Git Product logo

martin-lof's Introduction

The collected works of Per Martin-Löf

Please inform us of any inaccuracies or missing works.

Title Date
Definition of Random Sequences 1966
Algorithms and randomness 1969
Notes on constructive mathematics (Almqvist & Wiksell) 1970
A theory of types (Preprint, Stockholm University) 1971
Hauptsatz for the intuitionistic theory of iterated inductive definitions 1971
Complexity Oscillations in Infinite Binary Sequences 1971
Infinite terms and a system of natural deduction 1972
An Intuitionistic Theory of Types 1972
The Notion of Redundancy and Its Use as a Quantitative Measure of the Discrepancy between a Statistical Hypothesis and a Set of Observational Data 1974
An Intuitionistic Theory of Types: Predicative Part (Proceedings of the logic colloquium Bristol, July 1973) 1975
About Models for Intuitionistic Type Theories and the notion of Definitional Equality 1975
Syntax and semantics of the language of primitive recursive functions (Preprint written with Peter Hancock) 1975
Reply to Sverdrups Polemical Article Tests without Power 1975
A note to Michael Dummett 1976
Exact tests, confidence regions and estimates 1977
Constructive mathematics and computer programming (Tech report) 1979
Constructive mathematics and computer programming 1982
On the Meanings of the Logical Constants and the Justification of Logical Laws 1983
Notes on The Domain Interpretation of Type Theory 1983
Intuitionistic Type Theory (Bibliopolis Book, notes by Giovanni Sambin of a series of lectures given in Padua, June 1980) (Re-typeset and searchable version) 1984
The logic of Judgements 1987
Truth of a Proposition, Evidence of a Judgment, Validity of a Proof 1987
Philosophical implications of type theory (Lectures given at the Facoltà di Lettere e Filosofia, Universitá degli Studi di Firenze, Florence, March 15th - May 15th, Privately circulated notes) 1987
Mathematics of Infinity 1990
A path from logic to metaphysics (typescript) 1990
A path from logic to metaphysics 1991
Substitution calculus (Notes from a lecture given in Göteborg) 1992
Analytic and Synthetic Judgements in Type Theory 1994
Truth and Knowability: On the Principles C and K of Michael Dummett 1998
Hilbert Brouwer Controversy Resolved? 2008
Are the objects of propositional attitudes propositions in the sense of propositional and predicate logic? 2003
Normalization by Evaluation and by the Method of Computability (Talk at JAIST, Kanazawa) 2004
One hundred years of Zermelo's axiom of choice. What was the problem with it? 2009
Verificationism Then and Now 2013
Making sense of normalization by evaluation (Talk given at a workshop on Type theory and formalization of mathematics in Gothenburg, December 11th) 2014

martin-lof's People

Contributors

stevana avatar michaelt avatar gallais avatar mattearnshaw avatar jonsterling avatar mietek avatar

Watchers

James Cloos avatar avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.