TY  - RPRT
TI  - First steps in synthetic guarded domain theory: step-indexing in the topos of trees
AU  - Lars Birkedal
AU  - Rasmus Ejlers Møgelberg
AU  - Jan Schwinghammer
AU  - Kristian Støvring
PY  - 2012
DO  - 10.2168/lmcs-8(4:1)2012
UR  - https://arxiv.org/abs/1208.3596
ID  - 1208.3596
ER  -