A powerdomain construction (1976)

Cached

Download Links

by G. D. Plotkin
Venue:SIAM J. of Computing
Citations:210 - 20 self

Documents Related by Co-Citation

439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
930 Categories for the Working Mathematician – S Mac Lane - 1971
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
163 An abstract view of programming languages – E Moggi - 1989
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
137 Probabilistic Non-determinism – C Jones - 1990
123 A domain equation for bisimulation – S Abramsky - 1991
78 Power domains – M B Smyth - 1978
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
15 Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
260 Domains for denotational semantics – D S SCOTT - 1982
1204 The temporal logic of programs – A Pnueli - 1977
1330 A Calculus of Communicating Systems – R Milner - 1980
210 Data types as lattices – D SCOTT - 1976
7 Semantics for Algebraic Operations (extended abstract – G D Plotkin, A J Power - 2001
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990