Gordon Plotkin

G. P. · G. Plotkin

titlemedia type ISBN-13year of publica-
tion
other author(s)
Computational Logic: Essays in Honor of Alan RobinsonHardcover 978-0-262-12156-91991Jean Louis Lassez
Computational Logic: Essays in Honor of Alan RobinsonPaperback 978-0-262-51930-41991   "
From Semantics to Computer Science: Essays in Honour of Gilles KahnHardcover 978-0-521-51825-32009Yves Bertot · Gérard Huet · Jean-Jacques Lévy
Logical Environments   " 978-0-521-43312-91993Gerard Huet
Proof, Language, and Interaction: Essays in Honour of Robin Milner   " 978-0-262-16188-62000Colin P. Stirling · Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin MilnerPrinted Access Code 978-0-262-28167-62000Colin P. Stirling · Mads Tofte
Transactions on Computational Systems Biology VI: v. 6Taschenbuch
978-3-540-45779-42006Corrado Priami
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... Notes in Computer Science , Band 902)   "
978-3-540-59048-42008Mariangiola Dezani-Ciancaglini

Cambridge University Press · Springer · The MIT Press

 

Gordon Pocock