- 3
- 2
- 1
- 1
- 1
Jean Goubault-Larrecq
8
Documents
Publications
- 1
- 1
- 1
- 1
- 8
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
|
Directed Homology Theories and Eilenberg-Steenrod AxiomsApplied Categorical Structures, 2017, 25 (5), pp.775-807. ⟨10.1007/s10485-016-9438-y⟩
Article dans une revue
hal-03189639v1
|
A generalization of p-boxes to affine arithmeticComputing, 2012, 94 (2-4), pp.189-201. ⟨10.1007/s00607-011-0182-8⟩
Article dans une revue
hal-02632998v1
|
|
On the Geometry of Intuitionistic S4 ProofsHomology, Homotopy and Applications, 2003, 5 (2), pp.137-209
Article dans une revue
hal-03201458v1
|
Bisimulations and unfolding in P-accessible categorical modelsProceedings 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
|
|
|
The Directed Homotopy HypothesisProceedings 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
|
|
Static Analysis of Programs with Imprecise Probabilistic InputsVSTTE, May 2013, Snowbird, Utah, United States. pp.22-47, ⟨10.1007/978-3-642-54108-7⟩
Communication dans un congrès
hal-00942126v1
|
|
Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofsIMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications, Jul 1999, Trento, Italy
Communication dans un congrès
hal-03208846v1
|
Natural HomologyProceedings 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
|