author : T. F. Melham

Books

• Introduction to HOL: a theorem proving environment for higher order logic. 1993, with Mike J. C. Gordon