| | Books 1 - 10 of 11 | Previous | Next | 
|  | | Situation Theory and its Applications: Volume 2: 2nd Conference - Selected Papers: v. 2 (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise, Jean Mark Gawron, Gordon Plotkin, Syun Tutiya
Paperback, 638 Pages, Published 1991 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April ... / Lecture Notes in Artificial Intelligence)
by Mariangiola Dezani-Ciancaglini (Editor), Gordon Plotkin (Editor)
Paperback, 443 Pages, Published 1995 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Situation Theory and its Applications: Volume 2: 2nd Conference - Selected Papers: v. 2 (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise, Jean Mark Gawron, Gordon Plotkin, Syun Tutiya
Hardcover, 638 Pages, Published 1991 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Logical Environments
by Gerard Huet (Editor), Gordon Plotkin (Editor)
Hardcover, 352 Pages, Published 1993 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | From Semantics to Computer Science: Essays in Honour of Gilles Kahn (1st Edition)
by Yves Bertot (Editor), Gérard Huet (Editor), Jean-Jacques Lévy (Editor), Gordon Plotkin (Editor)
Hardcover, 570 Pages, Published 2009 by Cambridge University Press, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A semantics for static type inference
by Gordon Plotkin
Unknown Binding, Published 1992 by University of Edinburgh, Department of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Logical full abstraction and PCF (LFCS report series)
by John Longley, Gordon Plotkin
Unknown Binding, Published 1997 by University of Edinburgh, Laboratory for Foundation of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A logical view of composition
by Martín Abadi, Gordon D. Plotkin
Unknown Binding, Published 1992 by Systems Research Center, Digital Equiipment Corporation
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A framework for defining logics
by Robert Harper, Furio Honsell, Gordon Plotkin
Unknown Binding, Published 1991 by University of Edinburgh, Laboratory for Foundation of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Researchers' Bible (DAI Teaching Paper No. 4)
by Alan; Boulay, Ben Du; Howe, Jim; Plotkin, Gordon Bundy
Paperback, Published 1987 by University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 11 | Previous | Next |
|