Thibaut Benjamin

18 papers A* 1B 1C 1Misc 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A type theory for invertibility in weak ω-categories.
CoRR
Thibaut Benjamin, Camil Champin, Ioannis Markakis
2026 J jnl
AdapTT: Functoriality for Dependent Type Casts.
Proc. ACM Program. Lang.
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
2025 J jnl
AdapTT: Functoriality for Dependent Type Casts.
CoRR
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
2025 J jnl
Higher Eckmann-Hilton Arguments in Type Theory.
CoRR
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary
2025 A* conf
Naturality for higher-dimensional path types.
LICS
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary
2025 J jnl
Naturality for higher-dimensional path types.
CoRR
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary
2024 B conf
CaTT contexts are finite computads.
MFPS
Thibaut Benjamin, Ioannis Markakis, Chiara Sarti
2024 J jnl
Duality for weak ω-categories and the suspension and hom adjunction.
CoRR
Thibaut Benjamin, Ioannis Markakis
2024 J jnl
Generating Higher Identity Proofs in Homotopy Type Theory.
CoRR
Thibaut Benjamin
2024 J jnl
Invertible cells in ω-categories.
CoRR
Thibaut Benjamin, Ioannis Markakis
2023 C conf
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.
TAP
Thibaut Benjamin, Julien Signoles
2023 Misc conf
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.
SAC
Thibaut Benjamin, Julien Signoles
2023 J jnl
Monoidal weak
Math. Struct. Comput. Sci.
Thibaut Benjamin
2021 — conf
Formalisation of Dependent Type Theory: The Example of CaTT.
TYPES
Thibaut Benjamin
2021 J jnl
Formalization of dependent type theory: The example of CaTT.
CoRR
Thibaut Benjamin
2021 J jnl
Globular weak ω-categories as models of a type theory.
CoRR
Thibaut Benjamin, Eric Finster, Samuel Mimram
2021 J jnl
Monoidal weak omega-categories as models of a type theory.
CoRR
Thibaut Benjamin
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