S. Abramsky & A.Ju1 . Domain theory. In S. Abramsky, Dov M. Gabbay, & T.S.E.Maibau m,eds.,vol.3ofHandbook of Logic in Computer Sc ienc e,ch.1, pp. 1--168. Clarendon Press, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Url Http Www (Correct)
No context found.
S. Abramsky & A.Ju1 . Domain theory. In S. Abramsky, Dov M. Gabbay, & T.S.E.Maibau m,eds.,vol.3ofHandbook of Logic in Computer Sc ienc e,ch.1, pp. 1--168. Clarendon Press, 1994.
Electronic Notes in Theoretical Computer Science 45 (2001) - Url Http Www (Correct)
No context found.
S. AbramskyandA.Jung. Domain theory. In S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors, Semantic Structures,volume3ofHandbook of Logic in Computer Science,chapter 1, pages 1--168. Clarendon Press, 1994.
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
No context found.
Abramsky, S. and Jung, A. (1994) Domain theory. In: Abramsky, S., Gabbay, D. M. and Maibaum, T. S. E. (eds.) Handbook of Logic in Computer Science, Oxford University Press, 3 1--168.
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
No context found.
S. Abramsky, A. Jung. Domain theory. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science Volume 3, pages 1--168. Oxford University Press, 1994.
Recursive Polymorphic Types and Parametricity in an.. - Mellies, Vouillon (2005) (1 citation) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1--168. Clarendon Press, 1994.
Recursive Polymorphic Types and Parametricity in an.. - Mellies, Vouillon (2005) (1 citation) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1--168. Clarendon Press, 1994.
Semantic Types: A Fresh Look at the Ideal Model for Types - Vouillon, Mellies, Diderot (2004) (2 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1--168. Clarendon Press, 1994.
Adequacy for Algebraic Effects - Plotkin, Power (2001) (Correct)
No context found.
S. Abramsky and A. Jung, Domain Theory, in Handbook of Logic in Computer Science (eds. S. Abramsky, D.M. Gabbay and T. S. E. Maibaum), Vol. 3, Semantic Structures, Oxford: Clarendon Press, 1994.
Full Abstraction, Totality and PCF - Plotkin (1997) (2 citations) (Correct)
No context found.
S. Abramsky and A. Jung, Domain Theory, in Handbook of Logic in Computer Science (eds. S. Abramsky, D. Gabbay and T. S. E. Maibaum) Vol. 3, pp. 1--168, Oxford: Clarendon Press, 1994.
Philosophical Issues in Computer Science - Kopperman, Matthews, Pajoohesh (2004) (Correct)
No context found.
S. Abramsky & A. Jung, Domain Theory, in Handbook of Logic in Computer Science, Vol. 3, Clarendon Press, pp.1-168, 1994.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, chapter 1, pages 1--168. Clarendon Press, Oxford, UK, 1994.
Widening Operators for Powerset Domains - Roberto Bagnara Patricia (2004) (3 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, chapter 1, pages 1--168. Clarendon Press, Oxford, UK, 1994.
Initial Value Problems in Domain Theory - Edalat, Pattinson (2 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3. Clarendon Press, 1994.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, chapter 1, pages 1--168. Clarendon Press, Oxford, UK, 1994.
On a Monadic Semantics for Freshness - Mark Shinwell Andrew (Correct)
No context found.
S. Abramsky, A. Jung, Domain theory, in: Handbook of Logic in Computer Science, Vol. 3, Clarendon Press, 1994, pp. 1--168.
Domain-theoretic Solution of Differential Equations.. - Edalat, Krznaric.. (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science,volume 3. Clarendon Press, 1994.
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, volume 3 of Handbook of Logic in Computer Science, pages 1-168, Clarendon Press, 1994.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky et al, editors. Handbook of Logic in Computer Science. Volume 3. Semantic Structures. Oxford University Press, 1994.
A Monad For Domains And Other Categories - Ale Pultr And (2002) (Correct)
No context found.
S. Abramsky and A. Jung, Domain Theory, in: Handbook of Logic in Computer Science, Vol.3, Clarendon Press, Oxford (1994), 1-168.
FreshML: Programming with Binders Made Simple - Shinwell, Pitts, Gabbay (2003) (3 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, Volume 3. Semantic Structures, chapter 1. Oxford University Press, 1994.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, chapter 1, pages 1--168. Clarendon Press, Oxford, UK, 1994.
Generalized Ultrametric Spaces in Quantitative Domain Theory - Krötzsch (2004) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume III. Oxford University Press, 1994.
Elements Of Generalized Ultrametric Domain Theory - Rutten (1995) (17 citations) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3. Clarendon Press, 1994.
Beyond Trees - Lamarche (2000) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3. Clarendon Press, 1994.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
S. Abramsky and A. Jung. Domain theory. In S. Abramsky et al, editors. Handbook of Logic in Computer Science. Volume 3. Semantic Structures. Oxford University Press, 1994.
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