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.