Programming in MartinLöf’s Type Theory (1990)

by B Nordström, K Petersson, J M Smith