Programming in MartinLoef’s Type Theory: An Introduction (1990)

by B Nordstroem, K Petersson, J Smith