Plotkin, G., A powerdomain construction, SIAM J. Computing 5, 1976. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Computational Effects and Operations: An Overview - Plotkin, Power (2002) Self-citation (Plotkin) (Correct)
No context found.
G. D. Plotkin, A Powerdomain Construction, SIAM J. Comput. 5 (1976) 452--487.
Combining Effects: Sum and Tensor - Hyland, Plotkin, Power Self-citation (Plotkin) (Correct)
No context found.
G. D. Plotkin, A Powerdomain Construction, SIAM J. Comput., Vol. 5, No. 3, pp. 452-487, 1976.
Adequacy for Algebraic Effects - Plotkin, Power (2001) Self-citation (Plotkin) (Correct)
No context found.
G. D. Plotkin, A Powerdomain Construction, SIAM J. Comput. Vol. 5, No. 3, pp. 452--487, 1976.
Algebraic Operations and Generic Effects - Plotkin, Power Self-citation (Plotkin) (Correct)
No context found.
G. D. Plotkin, A Powerdomain Construction, in SIAM J. Comput. Vol. 5, No. 3, pp. 452--487, 1976.
Semantics for Algebraic Operations - Plotkin, Power (2001) Self-citation (Plotkin) (Correct)
No context found.
Plotkin, G.D., A Powerdomain Construction, SIAM J. Comput. 5 (1976) 452-- 487.
Uncountable Limits and the Lambda Calculus - Di Gianantonio, Honsell, Plotkin (1995) (2 citations) Self-citation (Plotkin) (Correct)
No context found.
Plotkin, G.D. 1976. A Powerdomain Construction. SIAM J. Comput 5, 3, 452--487.
A Per Model of Polymorphism and Recursive Types - Abadi, Plotkin (1990) (36 citations) Self-citation (Plotkin) (Correct)
No context found.
G.D. Plotkin, 1976. A powerdomain construction. Siam J. Comput. 5:452--487.
Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002) (1 citation) Self-citation (Plotkin) (Correct)
No context found.
G. D. Plotkin, A Powerdomain Construction, SIAM J. Comput. Vol. 5, No. 3, pp. 452--487, 1976.
Semantic Domains for Combining Probability and Non-Determinism - Tix, Keimel, Plotkin (2005) Self-citation (Plotkin) (Correct)
No context found.
G. D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5:452-487, 1976.
Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (17 citations) (Correct)
No context found.
Plotkin, G., A powerdomain construction, SIAM J. Computing 5, 1976.
Some Practical Problems and Their - Influence On Semantics (Correct)
No context found.
G. D. Plotkin. A powerdomain construction. SIAM J. Comput., 5(3), 1976.
Compositionality, Inference and Concurrency - Jones (2000) (Correct)
No context found.
G. D. Plotkin. A powerdomain construction. SIAM J. Comput., 5(3), 1976.
Non-Deterministic untyped λ-calculus - A study about.. - Liguoro (1991) (Correct)
No context found.
G.D. Plotkin, "A Powerdomain Construction", SIAM J. of Comp. 5, 1976.
Must Preorder in Non-Deterministic Untyped λ-calculus - de'Liguoro, Piperno (1992) (Correct)
No context found.
G.D. Plotkin, "A Powerdomain Construction", SIAM J. of Comp. 5, 1976.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
G. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5(3):452--487, 1976.
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
No context found.
Gordon D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5(3):452--487, 1976.
Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
No context found.
G. D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5:452--487, 1976.
Elements Of Generalized Ultrametric Domain Theory - Rutten (1995) (17 citations) (Correct)
No context found.
G.D. Plotkin. A powerdomain construction. SIAM Journal of Computation, 5:452-- 487, 1976.
Domain Theory for Concurrency - Glynn (2003) (1 citation) (Correct)
No context found.
G. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5(3):452--487, 1976.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
G. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5(3):452--487, 1976.
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
No context found.
G. Plotkin, "A Powerdomain Construction", SIAM J. Comput. 5, 1976, 452-487.
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
No context found.
G.D. Plotkin, "A Powerdomain Construction", SIAM J. of Computing 5, 1976.
A Complete Order-theoretic Model for the Algebra of.. - Knijnenburg (Correct)
No context found.
G.D. Plotkin. A powerdomain construction. SIAM J. on Computing, 5:452-- 487, 1979.
Function Spaces of Posets with Projections - Kummetz (2002) (Correct)
No context found.
G.D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5:452487, 1976.
A Semantic Theory for Value-Passing Processes Based on the.. - Ingolfsdottir (2003) (Correct)
No context found.
G.D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5:452--487, 1976.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC