Programming in Martin-Lof's Type Theory, volume 7 (1990)

by B Nordstrom, K Petersson, J M Smith
Venue:of International Series of Monographs on Computer Science