From LCF to HOL: A short history, Proof, language, and interaction (0)

by M Gordon
Venue:Essays in honour of Robin Milner, 169–185, MIT, 2000. December 2008 Notices of the AMS 1379