Concrete Domains (1993)

by Gilles Kahn , Inria Sophia Antipolis , Gordon D. Plotkin , George Gratzer
Venue:Theoretical Computer Science
Citations:35 - 1 self

Active Bibliography

Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
Recursion Theory – Helmut Schwichtenberg - 2007
939 A theory of type polymorphism in programming – Robin Milner - 1978
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
15 Universal Profinite Domains – Carl A. Gunter - 1987
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
110 The Discoveries of Continuations – John C. Reynolds - 1993
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
110 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
1 Specifications, Algorithms, Axiomatisations and Proofs Commented Case Studies – Gérard Huet - 1995
13 Finite Family Developments – Vincent van Oostrom
3 LCF Should Be Lifted – Bard Bloom, Jon G. Riecke - 1988
7 Quantum Domain Theory - Definitions and Applications – Elham Kashefi - 2003
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
7 Recursion on the partial continuous functionals – Helmut Schwichtenberg - 2006
TOWARDS A FORMAL THEORY OF COMPUTABILITY – Simon Huber, Basil A. Karádais, Helmut Schwichtenberg
13 Logical Full Abstraction and PCF – John Longley, Gordon Plotkin - 1996
8 Density and Choice for Total Continuous Functionals – Helmut Schwichtenberg - 1996
162 Constructivism and Proof Theory – A. S. Troelstra - 2003