A Comparative Study of Coq and HOL (1997)

by Vincent Zammit
Venue:In Gunter and Felty [GF97