The following pages link to Jean Goubault-Larrecq (Q283757):
Displaying 50 items.
- QRB, QFS, and the probabilistic powerdomain (Q283758) (← links)
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Deciding \(\mathcal H_1\) by resolution (Q1041797) (← links)
- Proof theory and automated deduction (Q1379289) (← links)
- On the geometry of intuitionistic S4 proofs (Q1397803) (← links)
- On the complexity of monitoring Orchids signatures, and recurrence equations (Q1667643) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Exponentiable streams and prestreams (Q2014744) (← links)
- Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (Q2052570) (← links)
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions (Q2087781) (← links)
- Domain-complete and LCS-complete spaces (Q2130601) (← links)
- Algebras of the extended probabilistic powerdomain monad (Q2130602) (← links)
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces (Q2215622) (← links)
- Formal ball monads (Q2312469) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations (Q2664100) (← links)
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks (Q2700792) (← links)
- (Q2766536) (← links)
- A Constructive Proof of the Topological Kruskal Theorem (Q2849896) (← links)
- QRB-Domains and the Probabilistic Powerdomain (Q2881081) (← links)
- The Theory of WSTS: The Case of Complete WSTS (Q2908196) (← links)
- Choquet–Kendall–Matheron theorems for non-Hausdorff spaces (Q3008231) (← links)
- (Q3130546) (← links)
- Forward Analysis for WSTS, Part II: Complete WSTS (Q3166218) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- (Q3299476) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- Natural Homology (Q3449474) (← links)
- A Probabilistic Applied Pi–Calculus (Q3498438) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- De Groot duality and models of choice: angels, demons and nature (Q3559970) (← links)
- Noetherian Spaces in Verification (Q3587424) (← links)
- Continuous Previsions (Q3608437) (← links)
- Forward Analysis for WSTS, Part II: Complete WSTS (Q3638095) (← links)
- “Logic Wins!” (Q3656837) (← links)
- (Q4246947) (← links)
- (Q4263016) (← links)
- (Q4282607) (← links)
- (Q4411842) (← links)
- (Q4411847) (← links)
- A Few Notes on Formal Balls (Q4596798) (← links)
- Deciding Piecewise Testable Separability for Regular Tree Languages (Q4598238) (← links)
- (Q4608677) (← links)
- (Q4636823) (← links)
- Extensions of valuations (Q4675769) (← links)
- (Q4783327) (← links)
- (Q4790671) (← links)
