5 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Daniel Gratzer
We consider the conversion problem for multimodal type theory (MTT) by characterizing the normal forms of the type theory and proving normalization. Normalization follows from a no…