A powerdomain construction

A powerdomain construction (1976)

by G. D. Plotkin

Venue:	SIAM J. of Computing
Citations:	196 - 18 self

316	BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
401	Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
652	Notions of Computation and Monads – Eugenio Moggi - 1991
158	The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
815	Categories for the Working Mathematician – S Mac Lane - 1971
76	Power Domains – M Smyth - 1978
153	An abstract view of programming languages – Eugenio Moggi - 1989
108	G.: A probabilistic powerdomain of evaluations – C Jones, Plotkin - 1989
87	Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
122	Probabilistic Non-determinism – Claire Jones - 1990
115	A domain equation for bisimulation – S Abramsky - 1991
29	Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
14	Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
249	Domains for Denotational Semantics – D S Scott - 1982
198	Data types as lattices – Dana Scott - 1976
369	Category Theory for Computing Science – M Barr, C Wells - 1990
1497	The Definition of Standard ML – R Milner, M Tofte, R Harper - 1990
164	Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
2970	Communication and Concurrency – R Milner - 1989