Programming in MartinL of 's Type Theory (1990)

by Bengt Nordstrom, Kent Petersson, Jan Smith