Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Goubault-Larrecq, Jean
2010.
omega-QRB-Domains and the Probabilistic Powerdomain.
p.
352.
GOUBAULT-LARRECQ, JEAN
and
KEIMEL, KLAUS
2011.
Choquet–Kendall–Matheron theorems for non-Hausdorff spaces.
Mathematical Structures in Computer Science,
Vol. 21,
Issue. 3,
p.
511.
LAWSON, JIMMIE
2011.
Stably compact spaces.
Mathematical Structures in Computer Science,
Vol. 21,
Issue. 1,
p.
125.
Goubault-Larrecq, Jean
2012.
QRB-Domains and the Probabilistic Powerdomain.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 1,
Issue. ,
Xi, Xiaoyong
2012.
Function spaces from Lawson compact continuous domains to continuous B-domains.
Topology and its Applications,
Vol. 159,
Issue. 12,
p.
2854.
Goubault-Larrecq, Jean
and
Jung, Achim
2014.
QRB, QFS, and the Probabilistic Powerdomain.
Electronic Notes in Theoretical Computer Science,
Vol. 308,
Issue. ,
p.
167.
Battenfeld, Ingo
2014.
Observationally-induced Algebras in Domain Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 301,
Issue. ,
p.
21.
Goubault-Larrecq, Jean
2015.
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases.
Journal of Logical and Algebraic Methods in Programming,
Vol. 84,
Issue. 1,
p.
155.
GOUBAULT-LARRECQ, JEAN
2017.
Isomorphism theorems between models of mixed choice.
Mathematical Structures in Computer Science,
Vol. 27,
Issue. 6,
p.
1032.
Goubault-Larrecq, Jean
2019.
A Probabilistic and Non-Deterministic Call-by-Push-Value Language.
p.
1.
Kawai, Tatsuji
2020.
Presenting de Groot duality of stably compact spaces.
Theoretical Computer Science,
Vol. 823,
Issue. ,
p.
44.
Goubault-Larrecq, Jean
2023.
Kantorovich-Rubinstein quasi-metrics IV: Lenses, quasi-lenses and forks.
Topology and its Applications,
Vol. 332,
Issue. ,
p.
108513.
ABBADINI, MARCO
and
DI LIBERTI, IVAN
2024.
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY.
The Journal of Symbolic Logic,
p.
1.