The HOL System LOGIC Preface (2010)

Cached

Download Links

by Unknown Authors

Active Bibliography

The HOL System LOGIC Preface – unknown authors - 2012
The HOL System LOGIC Preface – unknown authors - 2009
The HOL System DESCRIPTION Preface – unknown authors - 2012
The HOL System DESCRIPTION Preface – unknown authors - 2011
The HOL System DESCRIPTION Preface – unknown authors - 2009
The HOL System DESCRIPTION Preface – unknown authors - 2010
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1353 Monads for functional programming – Philip Wadler - 1995