Read news on martin-lof with our app.
Read more in the app
Programming in Martin-Lof's Type Theory: An Introduction (1990)