Thibaut Benjamin

According to our database, Thibaut Benjamin authored at least 15 papers between 2020 and 2025.

Collaborative distances:

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

2025

AdapTT: Functoriality for Dependent Type Casts.

Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard

CoRR, July, 2025

Higher Eckmann-Hilton Arguments in Type Theory.

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary

CoRR, January, 2025

Naturality for higher-dimensional path types.

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Generating Higher Identity Proofs in Homotopy Type Theory.

Thibaut Benjamin

CoRR, 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

Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.

Thibaut Benjamin, Julien Signoles

Proceedings of the Tests and Proofs - 17th International Conference, 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