Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000110730398 | 1 hits
Person
ISNI: 
0000 0001 1073 0398
Name: 
Plotkin, G.
Plotkin, Gordon
Dates: 
1946-
Creation class: 
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Dezani-Ciancaglini, Mariangiola
Huet, Gérard (1947-.... informaticien)
Kahn, G.
Lassez, Jean-Louis
Priami, Corrado
Robinson, John Alan (1937- ))
Stirling, Colin
Stirling, Colin P.
Tofte, Mads
University of Edinburgh
Titles: 
Automatic methods of inductive inference
Computational logic essays in honor of Alan Robinson
Logical environments
Logical Frameworks
Proof, language and interaction essays in honour of Robin Milner
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
Transactions on computational systems biology VI
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
Notes: 
Thesis (Ph. D.)--University of Edinburgh, 1972
Sources: 
VIAF BNF LC NTA NUKAT SUDOC WKP