| Publication | Date of Publication | Type |
|---|
A sequent calculus for opetopes
| 2024-12-19 | Paper |
Topological proofs of categorical coherence
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2024-10-17 | Paper |
Rigidification of cubical quasicategories
Algebraic & Geometric Topology | 2024-10-07 | Paper |
On the symmetry of sequentiality
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Coherent presentations of monoids with a right-Noetherian Garside family
Journal of Homotopy and Related Structures | 2023-03-15 | Paper |
Topological proofs of categorical coherence
| 2023-02-14 | Paper |
On confluence for weakly normalizing systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Rigidification of cubical quasi-categories
| 2022-11-24 | Paper |
Strong normalization of substitutions
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Syntactic approaches to opetopes
| 2022-08-04 | Paper |
scientific article; zbMATH DE number 7491999 (Why is no real title available?)
| 2022-03-17 | Paper |
scientific article; zbMATH DE number 7491972 (Why is no real title available?)
| 2022-03-17 | Paper |
Tridendriform algebras on hypergraph polytopes
| 2022-01-14 | Paper |
Coherent presentations of monoids with a right-noetherian Garside family
| 2021-07-01 | Paper |
Proofs and surfaces
Annals of Pure and Applied Logic | 2020-08-27 | Paper |
Categorified cyclic operads
Applied Categorical Structures | 2020-03-05 | Paper |
scientific article; zbMATH DE number 7075936 (Why is no real title available?)
| 2019-07-03 | Paper |
Syntactic aspects of hypergraph polytopes
Journal of Homotopy and Related Structures | 2019-05-16 | Paper |
A formal language for cyclic operads
| 2019-03-19 | Paper |
Coherent presentations of monoidal categories
| 2017-10-12 | Paper |
Free algebraic structures on the permutohedra
Journal of Algebra | 2017-07-27 | Paper |
A theory of effects and resources: adjunction models and polarised calculi
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
The duality of computation
Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
Operads, clones, and distributive laws
Operads and Universal Algebra | 2014-09-12 | Paper |
Revisiting the categorical interpretation of dependent type theory
Theoretical Computer Science | 2014-07-25 | Paper |
Definability and full abstraction
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
An approach to innocent strategies as graphs
Information and Computation | 2012-05-24 | Paper |
Preface to the special volume
Theoretical Computer Science | 2011-05-10 | Paper |
scientific article; zbMATH DE number 5851814 (Why is no real title available?)
| 2011-02-15 | Paper |
The duality of computation under focus
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Interactive models of computation and program behavior
| 2010-05-27 | Paper |
Sequential algorithms as bistable maps
| 2010-02-05 | Paper |
The Joy of String Diagrams
Computer Science Logic | 2008-11-20 | Paper |
Computational self-assembly
Theoretical Computer Science | 2008-11-06 | Paper |
scientific article; zbMATH DE number 5288982 (Why is no real title available?)
| 2008-06-17 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
scientific article; zbMATH DE number 2185651 (Why is no real title available?)
| 2005-07-04 | Paper |
Symmetry and Interactivity in Programming
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
scientific article; zbMATH DE number 2090723 (Why is no real title available?)
| 2004-08-13 | Paper |
A short scientific biography of Maurice Nivat
Theoretical Computer Science | 2002-07-18 | Paper |
On infinite \(\eta\)-expansion
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2002-01-01 | Paper |
Preface to ``Locus solum.
MSCS. Mathematical Structures in Computer Science | 2001-07-23 | Paper |
A semantics for lambda calculi with resources
Mathematical Structures in Computer Science | 2000-05-09 | Paper |
Explicit substitutions
Journal of Functional Programming | 2000-02-09 | Paper |
Abstract Böhm trees
Mathematical Structures in Computer Science | 1999-10-28 | Paper |
scientific article; zbMATH DE number 1229489 (Why is no real title available?)
| 1998-12-06 | Paper |
Confluence properties of weak and strong calculi of explicit substitutions
Journal of the ACM | 1998-01-21 | Paper |
Strong normalization of substitutions
Journal of Logic and Computation | 1997-10-26 | Paper |
A confluent reduction for the λ-calculus with surjective pairing and terminal object
Journal of Functional Programming | 1996-10-14 | Paper |
scientific article; zbMATH DE number 814795 (Why is no real title available?)
| 1995-11-09 | Paper |
Theoretical Pearl Yet yet a counterexample for λ+SP
Journal of Functional Programming | 1995-06-11 | Paper |
scientific article; zbMATH DE number 431761 (Why is no real title available?)
| 1994-10-31 | Paper |
Fully abstract semantics for observably sequential languages
Information and Computation | 1994-06-19 | Paper |
Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)
Information and Computation | 1994-06-09 | Paper |
Formal parametric polymorphism
Theoretical Computer Science | 1994-02-22 | Paper |
scientific article; zbMATH DE number 445156 (Why is no real title available?)
| 1993-12-05 | Paper |
scientific article; zbMATH DE number 234028 (Why is no real title available?)
| 1993-07-09 | Paper |
scientific article; zbMATH DE number 176742 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 125886 (Why is no real title available?)
| 1993-02-21 | Paper |
Coherence of subsumption, minimum typing and type-checking in F ≤
Mathematical Structures in Computer Science | 1992-09-27 | Paper |
An abstract framework for environment machines
Theoretical Computer Science | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4182831 (Why is no real title available?)
| 1991-01-01 | Paper |
scientific article; zbMATH DE number 4177054 (Why is no real title available?)
| 1990-01-01 | Paper |
Partiality, cartesian closedness, and toposes
Information and Computation | 1989-01-01 | Paper |
Alpha conversion, conditions on variables and categorical logic
Studia Logica | 1989-01-01 | Paper |
The categorical abstract machine
Science of Computer Programming | 1987-01-01 | Paper |
Categorical combinators
Information and Control | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4048997 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4074446 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3952011 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3976319 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3941502 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 4005580 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3928997 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3941501 (Why is no real title available?)
| 1985-01-01 | Paper |
Sequential algorithms on concrete data structures
Theoretical Computer Science | 1982-01-01 | Paper |
Term rewriting on nestohedra
| N/A | Paper |
