Login / Signup

Normalization for Multimodal Type Theory.

Daniel Gratzer
Published in: LICS (2022)
Keyphrases