Encoding Z schemas in type theory (1993)

by S Maharaj
Venue:In Geuves H (ed), Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs, pp 209--218