Skip to Main content Skip to Navigation

hal-03469452v1  Journal articles
Jean Goubault-LarrecqXiaodong Jia. Separating minimal valuations, point-continuous valuations, and continuous valuations
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2021, pp.1-19. ⟨10.1017/S0960129521000384⟩
hal-03279749v1  Conference papers
Frédéric BlanquiGilles DowekÉmilie GrienenbergerGabriel HondetFrançois Thiré. Some Axioms for Mathematics
FSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires / Virtual, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.20⟩
hal-03279766v2  Conference papers
Gabriel HondetFrédéric Blanqui. Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory
TYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Turino, Italy. ⟨10.4230/LIPIcs.TYPES.2020.6⟩
hal-03216649v1  Conference papers
Anas MakdesiAntoine GirardLaurent Fribourg. Efficient Data-Driven Abstraction of Monotone Systems with Disturbances
IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2021, Brussels, Belgium
hal-03216643v1  Conference papers
Anas MakdesiAntoine GirardLaurent Fribourg. Data-Driven Abstraction of Monotone Systems
Learning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland
hal-03260383v1  Journal articles
Jean Goubault-Larrecq. Probabilistic Powerdomains and Quasi-Continuous Domains
Topology Proceedings, Auburn University Mathematics Dept., 2022, 60, pp.1-16
hal-03337321v1  Journal articles
Jean Goubault-Larrecq. Products and projective limits of continuous valuations on T0 spaces
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2021, pp.1-21. ⟨10.1017/S0960129521000141⟩