Domain Theory in Logical Form (1991)

by Samson Abramsky
Venue:Annals of Pure and Applied Logic
Citations:230 - 10 self

Active Bibliography

1 Theory for Software Verification – David A. Naumann - 2009
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Introduo ao -calculus Modal – Mtodos De Programao, Lus Soares Barbosa, Processos E Propriedades
16 Linear logic for generalized quantum mechanics – Vaughan Pratt - 1993
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
5 A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables – Radha Jagadeesan, Keshav Pingali, Prakash Panangaden - 1991
99 Relational Properties of Domains – Andrew M. Pitts - 1996
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
32 A Semantic analysis of control – James David Laird - 1998
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
1 Domains of View: A Foundation for Specification and Analysis – Michael Huth - 2000
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
The Book Review Column – William Gasarch Department, William Gasarch