Type Theory and (1991)

by Simon Thompson
Venue:Functional Programming, International Computer Science Series