Power Domain Constructions (1998)

Cached

Download Links

by Reinhold Heckmann
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:23 - 9 self

Documents Related by Co-Citation

90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
216 A powerdomain construction – G. D. Plotkin - 1976
26 A Semantics for Complex Objects and Approximate Queries – Peter Buneman, Susan Davidson, Aaron Watters - 1988
78 Power Domains – M Smyth - 1978
1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
734 Notions of Computation and Monads – Eugenio Moggi - 1991
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999