Search Results - Gordon, Michael J. C., 1948-

The denotational description of programming languages : an introduction / by Gordon, Michael J. C., 1948-

Edinburgh LCF : a mechanised logic of computation / by Gordon, Michael J. C., 1948-

Edinburgh LCF a mechanised logic of computation / by Gordon, Michael J. C., 1948-, Milner, R. (Robin), 1934-2010, Wadsworth, Christopher P.

Full Text (via Springer)

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '...

Other Authors: “…Gordon, Michael J. C., 1948-…”
Full Text (via ScienceDirect)

Introduction to HOL : a theorem proving environment for higher order logic /

Other Authors: “…Gordon, Michael J. C., 1948-…”