TY  - RPRT
TI  - Guarded Computational Type Theory
AU  - Jonathan Sterling
AU  - Robert Harper
PY  - 2018
DO  - 10.1145/3209108.3209153
UR  - https://arxiv.org/abs/1804.09098
ID  - 1804.09098
ER  -