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 |
1990 |

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 |