sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000110730398 | 1 hits
Person
ISNI: 
0000 0001 1073 0398
Name: 
Gordon Plotkin
Gordon Plotkin (britischer theoretischer Informatiker)
Gordon Plotkin (Computer Scientist)
Gordon Plotkin (informaticien britannique)
Gordon Plotkin (informatico scozzese)
Gordon Plotkin (informático teórico del Reino Unido)
Gordon Plotkin (informaticus uit Schotland)
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
Tsuchiya, Shun (1952- ))
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:
Situation theory and its applications.
structural approach to operational semantics, A
Transactions on computational systems biology 6
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 NUKAT SUDOC WKD
BOWKER
NTA