TY  - RPRT
TI  - Dialectica models of type theory
AU  - Sean K. Moss
AU  - Tamara von Glehn
PY  - 2021
DO  - 10.1145/3209108.3209207
UR  - https://arxiv.org/abs/2105.00283
ID  - 2105.00283
ER  -