The HOL System LOGIC Preface (2010)

Cached

Download Links

by Unknown Authors

Active Bibliography

The HOL System LOGIC Preface – unknown authors - 2009
The HOL System LOGIC Preface – unknown authors - 2012
The HOL System DESCRIPTION Preface – unknown authors - 2010
The HOL System DESCRIPTION Preface – unknown authors - 2009
The HOL System DESCRIPTION Preface – unknown authors - 2012
The HOL System DESCRIPTION Preface – unknown authors - 2011
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
1 HOL Light Tutorial (for version 2.20). http://www.cl.cam.ac.uk/ jrh13/hol-light/tutorial 220.pdf – John Harrison
19 From LCF to HOL: a short history – Mike Gordon - 2000
8 HOL Light Tutorial (for version 2.20 – John Harrison - 2006
3 HOL98 Draft User's Manual - Athabasca Release - Version 2 – Konrad Slind - 1999
10 Towards Self-verification of HOL Light – John Harrison - 2006
36 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992
145 Higher-order logic programming – Gopalan Nadathur, Dale Miller
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
52 HOL Light: A tutorial introduction – John Harrison - 1996
19 Using Recursive Types to Reason about Hardware in Higher Order Logic – Thomas Melham - 1988
The HOL System DESCRIPTION Preface – unknown authors - 2004
The HOL System DESCRIPTION Preface – unknown authors - 2002