Publication:

Multimodal Dependent Type Theory

Date

2020

Proceedings Paper

https://doi.org/10.1145/3373718.3394736

Simple item page Full metadata Statistics

Files

Multimodal_Dependent_Type_Theory 914.61 KB

Author(s)

Gratzer, Daniel

;

;

;

Journal

na

Statistics

222 since deposited on 2021-11-02

7last month

1last week

Acq. date: 2026-02-24

1779 since deposited on 2021-11-02

Acq. date: 2026-02-24