Programming in MartinL #f's Type Theory. An Introduction (1990)

by B Nordstrm, K Petersson, J M Smith