Programming in Martin-Lof's Type Theory: An Introduction (1990)
Published on: 2025-07-02 12:30:59
Programming in
Martin-Löf's Type Theory
An Introduction
Bengt Nordström
Kent Petersson
Jan M. Smith
Department of Computing Sciences
University of Göteborg / Chalmers
S-412 96 Göteborg
Sweden
www.cs.chalmers.se/Cs/Research/Logic/book
Table of contents in Postscript.
The whole book (200 pages) in Postscript (1.5 Mb) and in pdf (1 Mb).
... Read full article.