A powerdomain construction (1976)

Cached

Download Links

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

Active Bibliography

Intersection Types for λ-Trees – Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-Jan de Vries - 1999
19 Higher Order Logic – Daniel Leivant - 1994
1 Event structures with persistence – Lucy G. Brace-evans, Cambridge Cb Fd - 2008
Compressor Memory – Stephen A. Edwards - 1995
50 The Specification and Execution of Heterogeneous Synchronous Reactive Systems – Stephen A. Edwards - 1995
5 The Mathematical Import Of Zermelo's Well-Ordering Theorem – Akihiro Kanamori - 1997
9 A Programming Language for the Inductive Sets, and Applications – David Harel, Dexter Kozen - 1984
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
5 The temporal knapsack problem and its solution – Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, S. Armagan Tarim, Chris Unsworth - 2005
1 Convergence of Automorphisms of Compact Projective Planes – Ralph Kummetz
Topological structures in Colombeau algebras I: topological ˜ C-modules and – Duality Theory, Claudia Garetto - 2004
14 Completeness of quasi-uniform and syntopological spaces – M. B. Smyth - 1994
Serre-Swan theorem for non-commutative C ∗-algebras. Revised edition 1 – Katsunori Kawamura - 2006
Measures of ǫ-complexity – unknown authors - 2008
In search of a Lebesgue density theorem for R ∞ – Verne Cazaubon - 810
1 1 Measures related to (ǫ, n)-complexity functions – Valentin Afraimovich, Lev Glebsky - 705
ON THE ACTION OF THE GROUP OF ISOMETRIES ON A LOCALLY COMPACT METRIC SPACE: CLOSED-OPEN PARTITIONS AND CLOSED ORBITS – Antonios Manoussos - 902
Approach Merotopies and Associated Near Sets – James Peters A, Surabhi Tiwari C, Rashmi Singh D
1 EXCISION IN BANACH SIMPLICIAL AND CYCLIC COHOMOLOGY – Zinaida A. Lykova - 1996