Skip to content
Institutional repository
Communities & Collections
Browse all items
Scientific publications
Open knowledge
Log In
imec Publications
Conference contributions
Multimodal Dependent Type Theory
Publication:
Multimodal Dependent Type Theory
Copy permalink
Date
2020
Proceedings Paper
https://doi.org/10.1145/3373718.3394736
Simple item page
Full metadata
Statistics
Loading...
Loading...
Files
Multimodal_Dependent_Type_Theory
914.61 KB
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Gratzer, Daniel
;
Kavvos, G. A.
;
Nuyts, Andreas
;
Birkedal, Lars
Journal
na
Abstract
Description
Metrics
Downloads
204
since deposited on 2021-11-02
9
last month
3
last week
Acq. date: 2025-12-12
Views
1779
since deposited on 2021-11-02
Acq. date: 2025-12-12
Citations
Metrics
Downloads
204
since deposited on 2021-11-02
9
last month
3
last week
Acq. date: 2025-12-12
Views
1779
since deposited on 2021-11-02
Acq. date: 2025-12-12
Citations