Globular realization and cubical underlying homotopy type of time flow of process algebra
Philippe Gaucher
New York Journal of Mathematics , 2008, 14, pp.101-137
Journal articles
hal-00338468v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Mac Lane's coherence theorem expressed as a word problem
Paul-André Melliès
2003
Preprints, Working Papers, ...
hal-00154213v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Axiomatic Rewriting Theory I : A Diagrammatic Standardization Theorem
Paul-André Melliès
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. , Springer Verlag, pp.554-638, 2005
Book sections
hal-00151276v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
T-Homotopy and Refinement of Observation, Part II: Adding New T-Homotopy Equivalences
Philippe Gaucher
International Journal of Mathematics and Mathematical Sciences , 2007, 2007, Article ID 87404, 20 p.
⟨10.1155/2007/87404⟩
Journal articles
hal-00150917v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Resource modalities in game semantics
Paul-André Melliès
,
Nicolas Tabareau
2007
Preprints, Working Papers, ...
hal-00144510v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Enriched diagrams of topological spaces over locally contractible enriched categories
Philippe Gaucher
New York Journal of Mathematics , 2019, 25, pp.1485-1510
Journal articles
hal-01919036v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
Paul-André Melliès
Conference papers
hal-03455968v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Topological proofs of categorical coherence
Pierre-Louis Curien
,
Guillaume Laplante-Anfossi
2023
Preprints, Working Papers, ...
hal-03991861v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An explicit formula for the free exponential modality of linear logic
Paul-André Melliès
,
Nicolas Tabareau
,
Christine Tasson
36th International Colloquium on Automata, Languages and Programming , Jul 2009, Rhodes, Greece. pp.247-260,
⟨10.1007/978-3-642-02930-1⟩
Conference papers
hal-00391714v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Isbell Duality Theorem for Type Refinement Systems
Paul-André Melliès
,
Noam Zeilberger
2015
Preprints, Working Papers, ...
hal-01214119v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
POLYGRAPHS AND DISCRETE CONDUCHÉ ω-FUNCTORS
Léonard Guetta
Higher Structures , 2020, 4 (2)
Journal articles
hal-01952610v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On representations of semidirect products of a compact quantum group with a finite group
Hua Wang
2019
Preprints, Working Papers, ...
hal-02314053v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras
Cédric Ho Thanh
,
Chaitanya Leena Subramaniam
2020
Preprints, Working Papers, ...
hal-02448208v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
How can we recognize potentially ${\bf\Pi}^0_\xi$ subsets of the plane?
Dominique Lecomte
2006
Preprints, Working Papers, ...
hal-00389795v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Syntactical approaches to opetopes
Pierre-Louis Curien
,
Cédric Ho Thanh
,
Samuel Mimram
2019
Preprints, Working Papers, ...
hal-02064784v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Comprehension and Quotient Structures in the Language of 2-Categories
Paul-André Melliès
,
Nicolas Rolland
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) , Jun 2020, Paris, France
Conference papers
hal-03103167v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Associahedra for finite type cluster algebras and minimal relations between $\mathbf{g}$-vectors
Arnau Padrol
,
Yann Palu
,
Vincent Pilaud
,
Pierre-Guy Plamondon
2019
Preprints, Working Papers, ...
hal-02186092v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
De l'opérateur de trace dans les jeux de Conway
Nicolas Tabareau
2006
Preprints, Working Papers, ...
hal-00086635v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Higher-dimensional normalisation strategies for acyclicity
Yves Guiraud
,
Philippe Malbos
Journal articles
hal-00531242v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Asynchronous Soundness Theorem for Concurrent Separation Logic
Paul-André Melliès
,
Léo Stefanesco
Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018) , Jul 2018, Oxford, United Kingdom
Conference papers
hal-02436304v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Comparing the non-unital and unital settings for directed homotopy
Philippe Gaucher
Cahiers de topologie et géométrie différentielle catégoriques , 2023, LXIV-2
Journal articles
hal-03713806v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
T-homotopy and refinement of observation (I) : Introduction
Philippe Gaucher
Electronic Notes in Theoretical Computer Science , 2009, 230, pp.103-110
Journal articles
hal-00495662v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inverting weak dihomotopy equivalence using homotopy continuous flow
Philippe Gaucher
Theory and Applications of Categories , 2006, 16 (3), pp.59-83
Journal articles
hal-00150920v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
HOMOLOGY OF CATEGORIES VIA POLYGRAPHIC RESOLUTIONS
Léonard Guetta
Journal of Pure and Applied Algebra , 2021, 225 (10)
Journal articles
hal-02512607v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Opetopes: Syntactic and Algebraic Aspects
Cédric Ho Thanh
Category Theory [math.CT]. Université de Paris, 2020. English.
⟨NNT : ⟩
Theses
tel-02968939v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Homotopy Type Theory: Univalent Foundations of Mathematics
Peter Aczel
,
Benedikt Ahrens
,
Thorsten Altenkirch
,
Steve Awodey
,
Bruno Barras
et al.
Aucun, pp.448, 2013
Books
hal-00935057v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Non-commutative homometric musical structures and chord distances in geometric pitch spaces
Grégoire Genuys
Category Theory [math.CT]. Université Pierre et Marie Curie - Paris VI, 2017. English.
⟨NNT : 2017PA066576⟩
Theses
tel-01912752v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Layered and Object-Based Game Semantics *
Arthur Oliveira Vale
,
Paul-André Melliès
,
Zhong Shao
,
Jérémie Koenig
,
Léo Stefanesco
et al.
Journal articles
hal-03456034v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Homotopy theory of Moore flows (I)
Philippe Gaucher
Journal articles
hal-02989109v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Strict $\omega$-categories are monadic over polygraphs
François Métayer
Theory and Applications of Categories , 2016, 31 (27), pp.799-806
Journal articles
hal-01324337v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More