Programming in Martin-Lof's Type Theory: An Introduction (1990)
a year ago
- #Type Theory
- #Martin-Löf
- #Programming
- The book 'Programming in Martin-Löf's Type Theory: An Introduction' is authored by Bengt Nordström, Kent Petersson, and Jan M. Smith.
- It was published by Oxford University Press in 1990 and is currently out of print.
- The book is available in Postscript and PDF formats from the Department of Computing Sciences, University of Göteborg / Chalmers.
- The Postscript version is 1.5 Mb and the PDF version is 1 Mb in size.
- The table of contents is also available in Postscript format.