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

by Bengt Nordström, Kent Petersson, Jan M Smith