First steps in synthetic guarded domain theory: step-indexing in the topos of trees
(pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logical Methods in Computer Science
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
(pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logic in Computer Science (LICS'11)