Type theory as a foundation for computer science (1991)

by Robert L Constable
Venue:In Theoretical Aspects of Computer Software