Semantics of Binary Choice Constructs

Cached

Download Links

by Reinhold Heckmann

Active Bibliography

7 Lower Bag Domains – Reinhold Heckmann - 1995
6 Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace – Reinhold Heckmann - 1997
10 Probabilistic Power Domains, Information Systems, and Locales – Reinhold Heckmann - 1994
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
13 A Convenient Category of Domains РIngo Battenfeld, Matthias Schr̦der, Alex Simpson
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
23 Power Domain Constructions – Reinhold Heckmann - 1998
13 Power Domains and Second Order Predicates – Reinhold Heckmann - 1993
25 Nondeterminism and Probabilistic Choice: Obeying the Laws – Michael Mislove - 2000
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
A Logical Approach to Stable Domains – Yi-xiang Chen, Achim Jung - 2006