Multimodal Dependent Type Theory
dc.contributor.author | Gratzer, Daniel | |
dc.contributor.author | Kavvos, G. A. | |
dc.contributor.author | Nuyts, Andreas | |
dc.contributor.author | Birkedal, Lars | |
dc.date.accessioned | 2021-12-09T15:02:35Z | |
dc.date.available | 2021-11-02T15:59:55Z | |
dc.date.available | 2021-12-09T15:02:35Z | |
dc.date.issued | 2020 | |
dc.identifier.issn | 1043-6871 | |
dc.identifier.other | WOS:000665014900039 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/37792.2 | |
dc.source | WOS | |
dc.title | Multimodal Dependent Type Theory | |
dc.type | Proceedings paper | |
dc.identifier.doi | 10.1145/3373718.3394736 | |
dc.identifier.eisbn | 978-1-4503-7104-9 | |
dc.source.numberofpages | 15 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 492 | |
dc.source.endpage | 506 | |
dc.source.conference | 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | |
dc.source.conferencedate | JUL 08-11, 2020 | |
dc.source.conferencelocation | Saarbrucken | |
dc.source.journal | na | |
imec.availability | Published - open access |