EasyChair Smart Slide
Normalization for Multimodal Type Theory
Normalization for Multimodal Type Theory