@article{birkedalFirstStepsSGDT2012,
 title = {First steps in synthetic guarded domain theory:
   step-indexing in the topos of trees},
 author = {Birkedal, Lars and M{\o}gelberg, Rasmus Ejlers and
   Schwinghammer, Jan and St{\o}vring, Kristian},
 year = {2012},
 journal = {Logical Methods in Computer Science},
 volume = {8},
 number = {4:1},
 doi = {10.2168/LMCS-8(4:1)2012}
}