Publication:
Multimodal Dependent Type Theory
Loading...
Journal
Abstract
Description
Metrics
Downloads
212 since deposited on 2021-11-02
10last month
1last week
Acq. date: 2026-01-09
Views
1779 since deposited on 2021-11-02
Acq. date: 2026-01-09
Citations
Metrics
Downloads
212 since deposited on 2021-11-02
10last month
1last week
Acq. date: 2026-01-09
Views
1779 since deposited on 2021-11-02
Acq. date: 2026-01-09
Citations