TY  - RPRT
TI  - Modal Dependent Type Theory and Dependent Right Adjoints
AU  - Lars Birkedal
AU  - Ranald Clouston
AU  - Bassel Mannaa
AU  - Rasmus Ejlers Møgelberg
AU  - Andrew M. Pitts
AU  - Bas Spitters
PY  - 2019
DO  - 10.1017/s0960129519000197
UR  - https://arxiv.org/abs/1804.05236
ID  - 1804.05236
ER  -