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: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Dezani-Ciancaglini, Mariangiola
Huet, Gérard (1947-.... informaticien)
Kahn, G.
Kahn, Gilles (1946-2006))
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, 1984:
Transactions on computational systems biology 6
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 LC NLP NTA NUKAT SUDOC WKP