|
|
Semantics of Binary Choice Constructs
– Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
13
|
Power Domains and Second Order Predicates
– Reinhold Heckmann
- 1993
|
|
4
|
An Upper Power Domain Construction in terms of Strongly Compact Sets
– Reinhold Heckmann
- 1998
|
|
22
|
Power Domain Constructions
– Reinhold Heckmann
- 1998
|
|
8
|
Topology, Domain Theory and Theoretical Computer Science
– Michael W. Mislove
- 1997
|
|
24
|
Computational Comonads and Intensional Semantics
– Stephen Brookes, Shai Geva
- 1991
|
|
214
|
Domain Theory in Logical Form
– Samson Abramsky
- 1991
|
|
43
|
Notions of Computation Determine Monads
– Gordon Plotkin, John Power
- 2002
|
|
21
|
Probabilistic Domains
– Reinhold Heckmann
- 1997
|
|
12
|
Semantic Domains for Combining Probability and Non-Determinism
– Regina Tix, Klaus Keimel, Gordon Plotkin
- 2005
|
|
12
|
Programming Metalogics with a Fixpoint Type
– Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi
- 1992
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
1
|
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
– Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D
- 1997
|
|
40
|
A Co-induction Principle for Recursively Defined Domains
– Andrew Pitts
|
|
9
|
A Convenient Category of Domains
– Ingo Battenfeld, Matthias Schröder, Alex Simpson
|
|
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
|
|
92
|
Relational Properties of Domains
– Andrew M. Pitts
- 1996
|
