Search - Université Paris Cité Access content directly

Filter your results

134 Results
Domains : math.math-ct

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
Image document

Mac Lane's coherence theorem expressed as a word problem

Paul-André Melliès
Preprints, Working Papers, ... hal-00154213v1
Image document

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

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
Image document

Resource modalities in game semantics

Paul-André Melliès , Nicolas Tabareau
Preprints, Working Papers, ... hal-00144510v1
Image document

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
Image document

Asynchronous Template Games and the Gray Tensor Product of 2-Categories

Paul-André Melliès
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470758⟩
Conference papers hal-03455968v1
Image document

Topological proofs of categorical coherence

Pierre-Louis Curien , Guillaume Laplante-Anfossi
Preprints, Working Papers, ... hal-03991861v1
Image document

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

An Isbell Duality Theorem for Type Refinement Systems

Paul-André Melliès , Noam Zeilberger
Preprints, Working Papers, ... hal-01214119v1
Image document


Léonard Guetta
Higher Structures, 2020, 4 (2)
Journal articles hal-01952610v2

On representations of semidirect products of a compact quantum group with a finite group

Hua Wang
Preprints, Working Papers, ... hal-02314053v1
Image document

Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras

Cédric Ho Thanh , Chaitanya Leena Subramaniam
Preprints, Working Papers, ... hal-02448208v1
Image document

How can we recognize potentially ${\bf\Pi}^0_\xi$ subsets of the plane?

Dominique Lecomte
Preprints, Working Papers, ... hal-00389795v1
Image document

Syntactical approaches to opetopes

Pierre-Louis Curien , Cédric Ho Thanh , Samuel Mimram
Preprints, Working Papers, ... hal-02064784v1

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

Associahedra for finite type cluster algebras and minimal relations between $\mathbf{g}$-vectors

Arnau Padrol , Yann Palu , Vincent Pilaud , Pierre-Guy Plamondon
Preprints, Working Papers, ... hal-02186092v1
Image document

De l'opérateur de trace dans les jeux de Conway

Nicolas Tabareau
Preprints, Working Papers, ... hal-00086635v1
Image document

Higher-dimensional normalisation strategies for acyclicity

Yves Guiraud , Philippe Malbos
Advances in Mathematics, 2012, 231 (3-4), pp.2294-2351. ⟨10.1016/j.aim.2012.05.010⟩
Journal articles hal-00531242v3
Image document

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
Image document

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

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

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
Image document


Léonard Guetta
Journal of Pure and Applied Algebra, 2021, 225 (10)
Journal articles hal-02512607v3
Image document

Opetopes: Syntactic and Algebraic Aspects

Cédric Ho Thanh
Category Theory [math.CT]. Université de Paris, 2020. English. ⟨NNT : ⟩
Theses tel-02968939v1

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
Image document

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
Image document

Layered and Object-Based Game Semantics *

Arthur Oliveira Vale , Paul-André Melliès , Zhong Shao , Jérémie Koenig , Léo Stefanesco et al.
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩
Journal articles hal-03456034v1
Image document

Homotopy theory of Moore flows (I)

Philippe Gaucher
Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩
Journal articles hal-02989109v2
Image document

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