Thibaut Benjamin

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Algebraic Operations

Functional Language

Quantifier Free

Theoretical Basis

Top Venues

Math. Struct. Comput. Sci.

Publications

Thibaut Benjamin, Ioannis Markakis, Chiara Sarti
CaTT contexts are finite computads. CoRR (2024)
Thibaut Benjamin, Ioannis Markakis
Duality for weak ω-categories. CoRR (2024)
Thibaut Benjamin, Ioannis Markakis
Invertible cells in ω-categories. CoRR (2024)
Thibaut Benjamin
-categories as models of a type theory. Math. Struct. Comput. Sci. 33 (8) (2023)
Thibaut Benjamin, Julien Signoles
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. SAC (2023)
Thibaut Benjamin
Formalization of dependent type theory: The example of CaTT. CoRR (2021)
Thibaut Benjamin, Eric Finster, Samuel Mimram
Globular weak ω-categories as models of a type theory. CoRR (2021)
Thibaut Benjamin
Formalisation of Dependent Type Theory: The Example of CaTT. TYPES (2021)
Thibaut Benjamin
Monoidal weak omega-categories as models of a type theory. CoRR (2021)