Programming in Martin-Löf’s Type Theory. An Introduction (1990)

by Bengt Nordström, Kent Petersson, Jan M Smith
Venue:in: International Series of Monographs on Computer Scence