Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000110776724 | 1 hits
Person
ISNI: 
0000 0001 1077 6724
Name: 
Gordon, M. J.
Gordon, M. J. C.
Gordon, Michael J.
Gordon, Michael J. C.
Gordon, Mike
Gordon, Mike (mathématicien)
Dates: 
1948 February 28-
Creation class: 
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Claesen, Luc J. M.
Interuniversity Micro-Electronics Center
Melham, Tom F.
Milner, Arthur J.
Milner, R. (1934-) (Robin))
Milner, Robin (1934- ))
Tarlecki, Andrzej
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
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, organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992
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: 
Sources: 
VIAF BNF DNB LC NLP NTA NUKAT SUDOC WKP