Thibaut Benjamin

According to our database, Thibaut Benjamin authored at least 10 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Invertible cells in ω-categories.

Thibaut Benjamin, Ioannis Markakis

CoRR, 2024

CaTT contexts are finite computads.

Thibaut Benjamin, Ioannis Markakis, Chiara Sarti

CoRR, 2024

Duality for weak ω-categories and the suspension and hom adjunction.

Thibaut Benjamin, Ioannis Markakis

CoRR, 2024

2023

Monoidal weak <i>ω</i>-categories as models of a type theory.

Thibaut Benjamin

Math. Struct. Comput. Sci., 2023

Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.

Thibaut Benjamin, Julien Signoles

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2021

Formalization of dependent type theory: The example of CaTT.

Thibaut Benjamin

CoRR, 2021

Monoidal weak omega-categories as models of a type theory.

Thibaut Benjamin

CoRR, 2021

Globular weak ω-categories as models of a type theory.

Thibaut Benjamin, Eric Finster, Samuel Mimram

CoRR, 2021

Formalisation of Dependent Type Theory: The Example of CaTT.

Thibaut Benjamin

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2020

A type theoretic approach to weak w-categories and related higher structures. (Catégories faibles et structures supérieures afférentes en théorie des types).

Thibaut Benjamin

PhD thesis, 2020