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: |
NLN
NTA
|