Programming in Martin-Lof's Type Theory
Programming inMartin-Löf's Type TheoryAn Introduction Bengt Nordström Kent Petersson Jan M. Smith
Department of Computing Sciences
University of Göteborg / Chalmers
S-412 96 Göteborg
Sweden
This book was published by Oxford University Press in 1990. It is now out
of print. This version is available from...
Read more at cse.chalmers.se