C.B. Aberlé has contributed to 3 nLab pages.
| parametric dependent type theory | 21:59:56, July 12 2024 |
| C.B. Aberlé | 14:50:15, July 12 2024 |
| parametric dependent type theory | 05:42:58, May 16 2024 |
| list of notable initial algebras and terminal coalgebras | 04:10:25, December 20 2023 |
| list of notable initial algebras and terminal coalgebras | 02:17:09, December 20 2023 |