Domain Theory (1994)

Cached

Download Links

by Samson Abramsky , Achim Jung
Citations:460 - 20 self

Active Bibliography

29 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
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
6 Induction and recursion on the partial real line with applications to Real PCF – Martín Hötzel Escardo, Thomas Streicher - 1997
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
99 Relational Properties of Domains – Andrew M. Pitts - 1996
1 Semantic Orthogonality of Type Disciplines – Jon G. Riecke, Ramesh Subrahmanyam - 1997
231 Domain Theory in Logical Form – Samson Abramsky - 1991
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
2 Analyse Statique De Programmes : Fondements Et Applications – Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen - 1999
9 A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation – Alan Jeffrey - 1994