Programming in Martin-Löf’s Type Theory: an introduction (1990)

by Bengt Nordström, Kent Petersson, Jan Smith