Person
ISNI: 
0000 0001 1077 6724
https://isni.org/isni/0000000110776724
Name: 
Gordon, M. J. C.
Gordon, Michael J.
Gordon, Michael J. C.,
Gordon, Mike
Gordon, Mike (mathématicien)
Michael J. C. Gordon (Computer scientist)
Michael John Caldwell Gordon
Dates: 
1948 February 28
Creation class: 
Language material
Creation role: 
author
compiler
creator
editor
redactor
Related names: 
Claesen, Luc J. M. (co-author)
Claesen, Luc J.M.
Gordon, Michael J.C.
Melham, Tom F.
Melham, Tom F. (co-author)
Milner, Arthur J.
Milner, Arthur J. (co-author)
Milner, R. (1934-) (Robin))
Milner, Robin (1934- ))
Tarlecki, Andrzej
University of Edinburgh
Wadsworth, Christopher P.
Wydawnictwa Naukowo-Techniczne
Titles: 
Denotacyjny opis języków programowania
denotational description of programming languages, c1979:, The
denotational description of programming languages, The : an introduction
Edinburgh LCF : a mechanised logic of computation
Evaluation and denotation of pure LISP programs ; a worked example in semantics
Higher order logic theorem proving and its applications : proceedings of the HOL'92 international workshop : Leuven : 21-24 September 1992
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 '92
Introduction to HOL, 1993:
Introduction to HOL a theorem proving environment for higher order logic
Operational reasoning and denotational semantics
Programming language theory and its implementation : applicative and imperative paradigms
Towards a semantic theory of dynamic binding
Notes: 
His The denotational description of programming languages, c1979 t.p. (Michael J. C. Gordon) CIP data sheet (b. 2/28/48)
Introduction to HOL, 1993 t.p. (M.J.C. Gordon) pref. (Mike Gordon)
Wikipedia, viewed July 30, 2018 (was a leading British computer scientist; b. February 28, 1948, Ripon Yorkshire, England; d. August 22, 2017)
Thesis (Ph.D.)--University of Edinburgh, 1974
Sources: 
VIAF DNB NLP NUKAT SUDOC WKD
NLN
NTA