Deep semantic embedding of Sugar 2.0 in HOL


MICHAEL J. C. GORDON
University of Cambridge
Computer Laboratory
Room FE19
William Gates Building
JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom
work phone: +44 1223 334627
work fax: +44 1223 334678
UK eFax: +44 870 1612485
US eFax: (509) 692-9378
home: +44 1223 362123
email: mjcg@cl.cam.ac.uk