Read news on type theory with our app.
Read more in the app
Type Theory and Functional Programming (1999) [pdf]
Why is it worth spending time on type theory? (2013)
Programming in Martin-Lof's Type Theory: An Introduction (1990)
