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: 
editor
redactor
Related names: 
Dezani-Ciancaglini, Mariangiola
Huet, Gérard
Kahn, G.
Lassez, Jean-Louis
Milner, R. (1934-2010)
Milner, Robin (1934-2010)
Priami, Corrado
Robinson, John Alan (1937- ))
Stirling, Colin
Stirling, Colin P.
Tofte, Mads
Titles: 
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: 
Sources: 
VIAF BNF LC NTA NUKAT SUDOC WKP