Accéder directement au contenu

Jean Goubault-Larrecq

8
Documents

Publications

"eric-goubault"

Bisimulations and unfolding in P-accessible categorical models

Jérémy Dubut , Eric Goubault , Jean Goubault-Larrecq
Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), volume 59 of Leibniz International Proceedings in Informatics, pages 25:1--25:14. Leibniz-Zentrum für Informatik., Aug 2016, Québec City, Canada
Communication dans un congrès hal-03189698v1
Image document

The Directed Homotopy Hypothesis

Jérémy Dubut , Eric Goubault , Jean Goubault-Larrecq
Proceedings of the 25th Annual EACSL Conference on Computer Science Logic (CSL'16), volume 62 of Leibniz International Proceedings in Informatics, pages 9:1--9:16. Leibniz-Zentrum für Informatik., Sep 2016, Marseille, France
Communication dans un congrès hal-03189649v1
Image document

Static Analysis of Programs with Imprecise Probabilistic Inputs

Assalé Adje , Olivier Bouissou , Jean Goubault-Larrecq , Eric Goubault , Sylvie Putot
VSTTE, May 2013, Snowbird, Utah, United States. pp.22-47, ⟨10.1007/978-3-642-54108-7⟩
Communication dans un congrès hal-00942126v1
Image document

Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs

Jean Goubault-Larrecq , Eric Goubault
IMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications, Jul 1999, Trento, Italy
Communication dans un congrès hal-03208846v1

Natural Homology

Jérémy Dubut , Éric Goubault , Jean Goubault-Larrecq
Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP'15) -- Part II, volume 9135 of Lecture Notes in Computer Science, Kyoto, Japan. Springer., pp.171-183, 2015, ⟨10.1007/978-3-662-47666-6_14⟩
Chapitre d'ouvrage hal-03189816v1