Publication:
Multimodal Dependent Type Theory
Loading...
Journal
Abstract
Description
Metrics
Downloads
204 since deposited on 2021-11-02
9last month
3last 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
9last month
3last week
Acq. date: 2025-12-12
Views
1779 since deposited on 2021-11-02
Acq. date: 2025-12-12
Citations