We stand with Ukraine  

Thibaut Benjamin

Orcid: 0000-0002-9481-1896

According to our database1, Thibaut Benjamin authored at least 14 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
2
4
1
3
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Higher Eckmann-Hilton Arguments in Type Theory.
[BibTeX]
[DOI]
Thibaut Benjamin
,
Ioannis Markakis
,
Wilfred Offord
,
Chiara Sarti
,
Jamie Vicary
CoRR, January, 2025

Naturality for higher-dimensional path types.
[BibTeX]
[DOI]
Thibaut Benjamin
,
Ioannis Markakis
,
Wilfred Offord
,
Chiara Sarti
,
Jamie Vicary
CoRR, January, 2025

2024
Generating Higher Identity Proofs in Homotopy Type Theory.
[BibTeX]
[DOI]
Thibaut Benjamin
CoRR, 2024

Invertible cells in ω-categories.
[BibTeX]
[DOI]
Thibaut Benjamin
,
Ioannis Markakis
CoRR, 2024

CaTT contexts are finite computads.
[BibTeX]
[DOI]
Thibaut Benjamin
,
Ioannis Markakis
,
Chiara Sarti
CoRR, 2024

Duality for weak ω-categories and the suspension and hom adjunction.
[BibTeX]
[DOI]
Thibaut Benjamin
,
Ioannis Markakis
CoRR, 2024

2023
Monoidal weak <i>ω</i>-categories as models of a type theory.
[BibTeX]
[DOI]
Thibaut Benjamin
Math. Struct. Comput. Sci., 2023

Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Thibaut Benjamin
CoRR, 2021

Monoidal weak omega-categories as models of a type theory.
[BibTeX]
[DOI]
Thibaut Benjamin
CoRR, 2021

Globular weak ω-categories as models of a type theory.
[BibTeX]
[DOI]
Thibaut Benjamin
,
Eric Finster
,
Samuel Mimram
CoRR, 2021

Formalisation of Dependent Type Theory: The Example of CaTT.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Thibaut Benjamin
PhD thesis, 2020


  Loading...