Another introduction to Martin-Löf ’ s Intuitionistic Type Theory (original) (raw)
Related papers
Stanford Encyclopedia of Philosophy, 2016
Building up a tool-box for Martin-Löf's type theory (abstract)
giovanni sambin, Silvio Valentini
Lecture Notes in Computer Science, 1993
Building up a toolbox for Martin-Löf’s type theory: subset theory
Oxford University Press eBooks, 1998
A brief introduction to Martin-Löf's type theory
An intuitionistic theory of types with assumptions of high-arity variables
Annals of Pure and Applied Logic, 1992
Proof Theory of Martin-Löf Type Theory. An overview
Mathématiques et sciences humaines, 2004
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Lecture Notes in Computer Science, 2008
Axiomathes, 2014
The Friedman-Translation for Martin-Löf's Type Theory
Mathematical Logic Quarterly, 1995
Electronic Notes in Theoretical Computer Science, 2008
A cartesian closed category in Martin-Löf's intuitionistic type theory
Theoretical Computer Science, 2003
CONSTRUCTIVE TYPE THEORY, AN APPETIZER
Higher-Order Metaphysics, 2023
Eta-rules in Martin-Löf type theory
Bulletin of Symbolic Logic
Classical Predicative Logic-Enriched Type Theories
A general formulation of simultaneous inductive-recursive definitions in type theory
The Journal of Symbolic Logic, 2000
A Set Theoretic Approach to the Simple Theory of Types1
Theoria, 2008
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
Logical Frameworks, 1991
Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe
PhD thesis, 1993
Constructing Recursion Operators in Intuitionistic Type Theory
2000
Decidability in Intuitionistic Type Theory is Functionally Decidable
Mathematical Logic Quarterly, 1996
Remarks on Martin-Löf's partial type theory
BIT, 1992
A Type Theory with Re ection by
2012
An overview of Constructive Type Theory
A Modern Perspective on Type Theory From its Origins until Today
Journal of Logic, Language and Information, 2006
On Choice Rules in Dependent Type Theory
Theory and Applications of Models of Computation, 2017
Meta-mathematical aspects of Martin-Löf's type theory
2000
Inductive Definitions and Type Theory: An Introduction
2007
Journal of Symbolic Computation, 1985
Practical forms of type theory
The Journal of Symbolic Logic, 1948