Programming language theory and its implementation : applicative and imperative paradigms /

by Gordon, Michael J. C., 1948- .
Published 1988

The Denotational description of programming language: an introduction /

by Gordon, Michael J. C., 1948-.
Published 1979

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...

Published 1993