|
|
Edinburgh Research Archive >
Browsing by Author Plotkin, Gordon
Showing results 5 to 24 of 48
| Issue Date | Title | Author(s) | Supervisor(s) | | 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 | - |
| 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 |
Showing results 5 to 24 of 48
|
