Gratzer, DanielDanielGratzerKavvos, G. A.G. A.KavvosNuyts, AndreasAndreasNuytsBirkedal, LarsLarsBirkedal2021-12-092021-11-022021-12-0920201043-6871WOS:000665014900039https://imec-publications.be/handle/20.500.12860/37792Multimodal Dependent Type TheoryProceedings paper10.1145/3373718.3394736978-1-4503-7104-9WOS:000665014900039