TY  - RPRT
TI  - Semantics of multimodal adjoint type theory
AU  - Michael Shulman
PY  - 2023
DO  - 10.46298/entics.12300
UR  - https://arxiv.org/abs/2303.02572
ID  - 2303.02572
ER  -