Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
Huet, Gérard (1947-.... informaticien)
Kahn, Gilles
Lassez, Jean-Louis
MacQueen, D. B. (1946- ))
Priami, Corrado
Robinson, John Alan (1937- ))
Stirling, Colin
Stirling, Colin P.
Tofte, Mads
University of Edinburgh
Workshop on types for proofs and programs (Båstad, Sweden) (1992)
Titles: 
Automatic methods of inductive inference
Computational logic : essays in honor of Alan Robinson
Domaines concrets
Logical environments
Logical Frameworks
Proceedings of the 1992 workshop on types for proofs and programs Båstad [Sweden, from the 8th to the 12th of] June 1992
Proof, language and interaction : essays in honour of Robin Milner
Semantics of data types, 1984:
structural approach to operational semantics, A
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 LC NLP NTA NUKAT SUDOC WKP