Type Theory as a Foundation for Computer Science
by Robert L. Constable
Theoretical Aspects of Computer Software International Conference (TACS'91), LNCS 526, pp. 226-243, 1991.
Sorry, there are no downloadable files available for this document at this time.
