|
|
Edinburgh Research Archive >
Browsing by Author Plotkin, Gordon
Showing results 16 to 35 of 48
| Issue Date | Title | Author(s) | Supervisor(s) | | 3-Nov-2003 | FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES | Abadi, Martin; Pierce, Benjamin; Plotkin, Gordon | - |
| 1993 | A Framework for Defining Logics | Plotkin, Gordon; Honsell, Furio; Harper, Robert | - |
| 1998 | From Action Calculi to Linear Logic | Barber, Andrew G; Gardner, Phillipa; Hasegawa, Masahito; Plotkin, Gordon | - |
| 6-Nov-2003 | Full Abstraction, Totality and PCF | Plotkin, Gordon | - |
| 1999 | Full completeness of the multiplicative linear logic of Chu spaces | Devarajan, Harish; Hughes, Dominic; Plotkin, Gordon; Pratt, Vaughan | - |
| 3-Nov-2003 | An Illative Theory of Relations | Plotkin, Gordon | - |
| 2000 | Lax Logical Relations | Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert | - |
| Jul-1997 | Linear Type Theories, Semantics and Action Calculi | Barber, Andrew G | Plotkin, Gordon; Gardner, Phillipa |
| 2010 | Logic and handling of algebraic effects | Pretnar, Matija | Plotkin, Gordon; Power, John |
| 5-Nov-2003 | A Logic for Parametric Polymorphism | Plotkin, Gordon; Abadi, Martin | - |
| 2000 | Logical Full Abstraction and PCF | Longley, John R; Plotkin, Gordon | - |
| 5-Nov-2003 | A Logical View of Composition | Abadi, Martin; Plotkin, Gordon | - |
| 2010 | Modular languages for systems and synthetic biology | Pedersen, Michael | Plotkin, Gordon |
| 2002 | Notions of Computation Determine Monads | Plotkin, Gordon; Power, John | - |
| 1996 | On a Question of H. Friedman | Plotkin, Gordon | - |
| 1991 | On Functors Expressible in the Polymorphic Typed Lambda Calculus | Plotkin, Gordon; Reynolds, John | - |
| 1983 | Operational approach to semantics and translation for programming languages | Li, Wei | Plotkin, Gordon; Hennessy, Matthew; Milner, Robin |
| Jul-2000 | Ordinals and Interactive Programs | Hancock, Peter | Plotkin, Gordon |
| Jul-1988 | The Partial Lambda Calculus | Moggi, Eugenio | Plotkin, Gordon |
| 5-Nov-2003 | A Per Model of Polymorphism and Recursive Types | Abadi, Martin; Plotkin, Gordon | - |
Showing results 16 to 35 of 48
|
