Multimodal Type Theory

nLab

Contents

References