research
∙
11/29/2021
Formalization of dependent type theory: The example of CaTT
We present the type theory CaTT, originally introduced by Finster and Mi...
share
research
∙
11/28/2021
Monoidal weak omega-categories as models of a type theory
Weak ω-categories are notoriously difficult to define because of the ver...
research
∙
06/08/2021
