Rafaël Bocquet has contributed to 6 nLab pages.
| cubical type theory | 14:50:14, September 20 2024 |
| definitional isomorphism | 09:16:58, June 18 2024 |
| complete Segal space | 13:21:33, February 21 2024 |
| fundamental theorem of identity types | 09:18:27, March 06 2023 |
| univalence axiom | 09:17:45, March 06 2023 |
| inverse diagram model of type theory | 07:41:56, August 30 2022 |