|
|
Edinburgh Research Archive >
Browsing by Author Plotkin, Gordon
Showing results 1 to 20 of 48
| Issue Date | Title | Author(s) | Supervisor(s) | | 6-Nov-2003 | Abstract Syntax and Variable Binding (Extended Abstract) | Fiore, Marcelo P; Plotkin, Gordon; Turi, Daniele | - |
| 2002 | Adequacy for Algebraic Effects | Plotkin, Gordon; Power, John | - |
| Nov-1994 | Axiomatic Domain Theory in Categories of Partial Maps | Fiore, Marcelo P | Plotkin, Gordon; Jay, Barry; Power, John |
| 1994 | An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC | Fiore, Marcelo P; Plotkin, Gordon | - |
| 2001 | Bialgebraic Semantics and Recursion | Plotkin, Gordon | - |
| May-2000 | Bistructures, Bidomains and Linear Logic | Curien, Pierre-Louis; Plotkin, Gordon; Winskel, Glynn | - |
| 1993 | A Calculus for Access Control in Distributed Systems | Abadi, Martin; Burrows, Michael; Lampson, Butler; Plotkin, Gordon | - |
| 5-Nov-2003 | Combining computational effects: commutativity and sum | Hyland, Martin; Plotkin, Gordon; Power, John | - |
| 6-Nov-2003 | Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) | Fiore, Marcelo P; Plotkin, Gordon; Power, John | - |
| 2002 | Computational effects and operations: an overview | Plotkin, Gordon; Power, John | - |
| 1980 | Computational model of learning | Radford, Timothy John | Plotkin, Gordon; Howe, Jim |
| 1993 | Concrete Domains | Kahn, Gilles; Plotkin, Gordon | - |
| 5-Nov-2003 | Configuration Structures | van Glabbeek, R.J. | - |
| 5-Nov-2003 | An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory | Plotkin, Gordon; Fiore, Marcelo P | - |
| Jul-1995 | Extensional concepts in intensional type theory | Hofmann, Martin | Sannella, Donald; Plotkin, Gordon |
| 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 | - |
Showing results 1 to 20 of 48
|
