Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Schröder, Matthias
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
471.
Battenfeld, Ingo
2006.
Computational Effects in Topological Domain Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 158,
Issue. ,
p.
59.
SCHRÖDER, MATTHIAS
and
SIMPSON, ALEX
2007.
Two preservation results for countable products of sequential spaces.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 1,
p.
161.
Battenfeld, Ingo
Schröder, Matthias
and
Simpson, Alex
2007.
A Convenient Category of Domains.
Electronic Notes in Theoretical Computer Science,
Vol. 172,
Issue. ,
p.
69.
Keimel, Klaus
2008.
The monad of probability measures over compact ordered spaces and its Eilenberg–Moore algebras.
Topology and its Applications,
Vol. 156,
Issue. 2,
p.
227.
Keimel, Klaus
and
Lawson, Jimmie D.
2009.
D-completions and thed-topology.
Annals of Pure and Applied Logic,
Vol. 159,
Issue. 3,
p.
292.
Keimel, Klaus
and
Lawson, Jimmie D.
2009.
Extending Algebraic Operations to D-Completions.
Electronic Notes in Theoretical Computer Science,
Vol. 249,
Issue. ,
p.
93.
Battenfeld, Ingo
2010.
Comparing free algebras in Topological and Classical Domain Theory.
Theoretical Computer Science,
Vol. 411,
Issue. 19,
p.
1900.
Ershov, Yu. L.
2010.
Topological objects in the category EQU.
Siberian Advances in Mathematics,
Vol. 20,
Issue. 3,
p.
155.
ESCARDÓ, MARTÍN
and
OLIVA, PAULO
2010.
Selection functions, bar recursion and backward induction.
Mathematical Structures in Computer Science,
Vol. 20,
Issue. 2,
p.
127.
Goubault-Larrecq, Jean
2010.
omega-QRB-Domains and the Probabilistic Powerdomain.
p.
352.
Keimel, Klaus
and
Lawson, Jimmie D.
2012.
Extending algebraic operations to D-completions.
Theoretical Computer Science,
Vol. 430,
Issue. ,
p.
73.
Goubault-Larrecq, Jean
2012.
QRB-Domains and the Probabilistic Powerdomain.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 1,
Issue. ,
Battenfeld, Ingo
2013.
Comparing approaches to free dcpo-algebra constructions.
The Journal of Logic and Algebraic Programming,
Vol. 82,
Issue. 1,
p.
53.
Escardó, Martín
and
Xu, Chuangjie
2016.
A constructive manifestation of the Kleene–Kreisel continuous functionals.
Annals of Pure and Applied Logic,
Vol. 167,
Issue. 9,
p.
770.