TY  - RPRT
TI  - A Simple Soundness Proof for Dependent Object Types
AU  - Marianna Rapoport
AU  - Ifaz Kabir
AU  - Paul He
AU  - Ondřej Lhoták
PY  - 2017
UR  - https://arxiv.org/abs/1706.03814
ID  - 1706.03814
ER  -