Publication:

Multimodal Dependent Type Theory

Date

2020
Proceedings Paper
https://doi.org/10.1145/3373718.3394736
Simple item page Full metadata Statistics
 
dc.contributor.authorGratzer, Daniel
dc.contributor.authorKavvos, G. A.
dc.contributor.authorNuyts, Andreas
dc.contributor.authorBirkedal, Lars
dc.date.accessioned2021-12-09T15:02:35Z
dc.date.available2021-11-02T15:59:55Z
dc.date.available2021-12-09T15:02:35Z
dc.date.issued2020
dc.identifier.doi10.1145/3373718.3394736
dc.identifier.eisbn978-1-4503-7104-9
dc.identifier.issn1043-6871
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/37792
dc.publisherASSOC COMPUTING MACHINERY
dc.source.beginpage492
dc.source.conference35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
dc.source.conferencedateJUL 08-11, 2020
dc.source.conferencelocationSaarbrucken
dc.source.endpage506
dc.source.journalna
dc.source.numberofpages15
dc.title

Multimodal Dependent Type Theory

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
Multimodal_Dependent_Type_Theory
Size:
914.61 KB
Format:
Unknown data format
Description:
Not Applicable (or Unknown)
Download
Publication available in collections:
Conference contributions