Games for Recursive Types (1994)

Cached

Download Links

by Samson Abramsky , Guy Mccusker
Venue:Theory and Formal Methods of Computing 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial
Citations:16 - 4 self

Active Bibliography

27 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
128 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
43 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
59 Call-by-Value Games – Samson Abramsky, Guy Mccusker - 1997
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
402 Domain Theory – Samson Abramsky, Achim Jung - 1994
10 Timeless Games – Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier - 1998
173 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
20 Non-deterministic Games and Program Analysis: An application to security (Extended Abstract) – P. Malacaria, Chris Hankin
2 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
33 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
18 Semantic Types: A Fresh Look at the Ideal Model for Types – Jérôme Vouillon, Paul-André Melliès - 2004
2 First steps in synthetic guarded domain theory: step-indexing in the topos of trees – Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
8 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003