Jean Goubault-Larrecq
Identifiers
- name variant Jean Goubault-Larrecq 0.60 · backfill
Papers (9)
- Just Previsions cs.LO · 2026 · author #1
- Semitopological Barycentric Algebras math.FA · 2025 · author #1
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering cs.LO · 2019 · author #1
- Algebras of the extended probabilistic powerdomain monad math.GN · 2019 · author #1
- Domain-complete and LCS-complete spaces math.GN · 2019 · author #2
- A Probabilistic and Non-Deterministic Call-by-Push-Value Language cs.LO · 2018 · author #1
- Products and Projective Limits of Continuous Valuations on $T_0$ Spaces math.PR · 2018 · author #1
- Concrete Semantics of Programs with Non-Deterministic and Random Inputs cs.LO · 2012 · author #2
- Logical Relations for Monadic Types cs.LO · 2005 · author #1
Mentions
- 1210.2605 #2 · backfill · confidence 0.70 Jean Goubault-Larrecq
- 2512.12865 #1 · arxiv_oai · confidence 0.70 Jean Goubault-Larrecq
Frequent Coauthors
- Xiaodong Jia 2 shared papers
- Assal\'e Adj\'e 1 shared papers
- David Nowak 1 shared papers
- K. Narayan Kumar 1 shared papers
- Matthew de Brecht 1 shared papers
- Philippe Schnoebelen 1 shared papers
- Prateek Karandikar 1 shared papers
- Simon Halfon 1 shared papers
- Slawomir Lasota 1 shared papers
- Zhenchao Lyu 1 shared papers