Experience using type theory as a foundation for computer science (1995)

by Robert L Constable
Venue:In Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science