Skip to main content
PRL Project

Type Theory as a Foundation for Computer Science

by Robert L. Constable
1991

Proceedings of Theoretical Aspects of Computer Software International Conference (TACS '91)

bibTex ref: Con91


cite link