E-LIB Suche - Ergebnisse für: Goubault-Larrecq, Jean

1

A few characterizations of topological spaces with no infin..:

Goubault-Larrecq, Jean ; Pouzet, Maurice
Topology and its Applications. 341 (2024) - p. 108733 , 2024

Link: https://doi.org/10.1016/..

2

Kantorovich-Rubinstein quasi-metrics IV: Lenses, quasi-lens..:

Goubault-Larrecq, Jean
Topology and its Applications. 332 (2023) - p. 108513 , 2023

Link: https://doi.org/10.1016/..

3

A Domain-theoretic Approach to Statistical Programming Lang..:

Goubault-Larrecq, Jean ; Jia, Xiaodong ; Théron, Clément
Journal of the ACM. 70 (2023) 5 - p. 1-63 , 2023

Link: https://doi.org/10.1145/..

4

Continuous R-valuations:

Goubault-Larrecq, Jean ; Jia, Xiaodong
Electronic Notes in Theoretical Informatics and Computer Science. 2 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Kantorovich-Rubinstein quasi-metrics III: Spaces of subline..:

Goubault-Larrecq, Jean
Topology and its Applications. 321 (2022) - p. 108259 , 2022

Link: https://doi.org/10.1016/..

6

Kantorovich-Rubinstein quasi-metrics II: Hyperspaces and po..:

Goubault-Larrecq, Jean
Topology and its Applications. 305 (2022) - p. 107885 , 2022

Link: https://doi.org/10.1016/..

7

Products and projective limits of continuous valuations on ..:

Goubault-Larrecq, Jean
Mathematical Structures in Computer Science. 31 (2021) 2 - p. 234-254 , 2021

Link: https://doi.org/10.1017/..

8

Kantorovich-Rubinstein quasi-metrics I: Spaces of measures ..:

Goubault-Larrecq, Jean
Topology and its Applications. 295 (2021) - p. 107673 , 2021

Link: https://doi.org/10.1016/..

9

Separating minimal valuations, point-continuous valuations,..:

Goubault-Larrecq, Jean ; Jia, Xiaodong
Mathematical Structures in Computer Science. 31 (2021) 6 - p. 614-632 , 2021

Link: https://doi.org/10.1017/..

10

Some topological properties of spaces of Lipschitz continuo..:

Goubault-Larrecq, Jean
Topology and its Applications. 282 (2020) - p. 107281 , 2020

Link: https://doi.org/10.1016/..

11

The Ideal Approach to Computing Closed Subsets in Well-Quas..:

, In: Trends in Logic; Well-Quasi Orders in Computation, Logic, Language and Reasoning,

Goubault-Larrecq, Jean ; Halfon, Simon ; Karandikar, Prateek.. - p. 55-105 , 2020

Link: https://doi.org/10.1007/..

12

Foundations of Software Science and Computation Structures:..

Theoretical Computer Science and General Issues, 12077

Goubault-Larrecq, Jean ; König, Barbara - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

13

Forward analysis for WSTS, part I: completions:

Finkel, Alain ; Goubault-Larrecq, Jean
Mathematical Structures in Computer Science. 30 (2020) 7 - p. 752-832 , 2020

Link: https://doi.org/10.1017/..

14

A probabilistic and non-deterministic call-by-push-value la..:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Goubault-Larrecq, Jean - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

15

Algebras of the Extended Probabilistic Powerdomain Monad:

Goubault-Larrecq, Jean ; Jia, Xiaodong
Electronic Notes in Theoretical Computer Science. 345 (2019) - p. 37-61 , 2019

Link: https://doi.org/10.1016/..