From LCF to HOL: A short history

Authors
Gordon, M
Citation
M. Gordon, From LCF to HOL: A short history, FOUNDAT COM, 2000, pp. 169-185
Categorie Soggetti
Current Book Contents
Journal title
PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER → ACNP
Year of publication
2000
Pages
169 - 185
Database
ISI
SICI code