HOL - A Machine Oriented Formulation of Higher Order Logic (2001)

Cached

Download Links

by Mike Gordon
Citations:63 - 1 self

Documents Related by Co-Citation

851 A formulation of the simple theory of types – Alonzo Church - 1940
531 A Computational' Logic – R S Boyer, J S Moore - 1979
537 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
375 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
287 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
938 A theory of type polymorphism in programming – Robin Milner - 1978
786 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996