| Publication | Date of Publication | Type |
|---|
Polynomials in homotopy type theory as a Kleisli category
| 2026-04-02 | Paper |
A sequent calculus for opetopes
| 2024-12-19 | Paper |
Describing free \(\omega \)-categories
| 2024-12-19 | Paper |
A Cartesian bicategory of polynomial functors in homotopy type theory
| 2024-12-17 | Paper |
Syntactic regions for concurrent programs
| 2024-12-17 | Paper |
Categorical coherence from term rewriting systems
| 2024-10-21 | Paper |
Free precategories as presheaf categories
Theory and Applications of Categories | 2024-07-20 | Paper |
Division by two, in homotopy type theory
| 2024-05-27 | Paper |
Polygraphs: From Rewriting to Higher Categories
| 2023-12-01 | Paper |
Rewriting in Gray categories with applications to coherence
Mathematical Structures in Computer Science | 2023-02-10 | Paper |
A Sound Foundation for the Topological Approach to Task Solvability
| 2023-02-03 | Paper |
Free precategories as presheaf categories
| 2022-11-29 | Paper |
Syntactic approaches to opetopes
| 2022-08-04 | Paper |
scientific article; zbMATH DE number 7561456 (Why is no real title available?)
| 2022-07-21 | Paper |
Tietze equivalences as weak equivalences
Applied Categorical Structures | 2022-05-19 | Paper |
Presenting finite posets
| 2021-12-02 | Paper |
Coherence of Gray categories via rewriting
| 2021-06-15 | Paper |
A Type-Theoretical Definition of Weak {\omega}-Categories
| 2021-01-19 | Paper |
Directed homotopy in non-positively curved spaces
| 2020-07-30 | Paper |
From geometric semantics to asynchronous computability
| 2018-08-24 | Paper |
Geometric and combinatorial views on asynchronous computability
Distributed Computing | 2018-08-13 | Paper |
Homological computations for term rewriting systems
| 2017-10-17 | Paper |
Coherent presentations of monoidal categories
| 2017-10-12 | Paper |
Presenting a Category Modulo a Rewriting System
| 2017-07-12 | Paper |
scientific article; zbMATH DE number 6679826 (Why is no real title available?)
| 2017-02-01 | Paper |
A geometric view of partial order reduction
| 2016-04-12 | Paper |
A categorical theory of patches
| 2016-04-12 | Paper |
Iterated chromatic subdivisions are collapsible
Applied Categorical Structures | 2015-11-18 | Paper |
Formal relationships between geometrical and classical models for concurrency
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
SpringerBriefs in Applied Sciences and Technology | 2015-02-11 | Paper |
Towards 3-dimensional rewriting theory
Logical Methods in Computer Science | 2014-05-22 | Paper |
A non-standard semantics for Kahn networks in continuous time
| 2012-09-18 | Paper |
Trace spaces: an efficient new technique for state-space reduction
Programming Languages and Systems | 2012-06-22 | Paper |
Computing critical pairs in 2-dimensional rewriting systems
| 2012-04-25 | Paper |
The structure of first-order causality
Mathematical Structures in Computer Science | 2011-03-07 | Paper |
Focusing in asynchronous games
Programs, Proofs, Processes | 2010-07-29 | Paper |
Asynchronous Games: Innocence Without Alternation
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Globular weak $\omega$-categories as models of a type theory
| N/A | Paper |
Coherence in cartesian theories using rewriting
| N/A | Paper |
Delooping generated groups in homotopy type theory
| N/A | Paper |
