Browsing by Author "Kavvos, G. A."
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Multimodal Dependent Type Theory
;Gratzer, Daniel ;Kavvos, G. A. ;Nuyts, AndreasBirkedal, LarsProceedings paper2020, 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), JUL 08-11, 2020, p.492-506