Programming Systems Lab: Publications by Rasmus Ejlers Møgelberg

Saarland University Computer Science

Select author:

2012

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

2011

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)


Login to edit


Legal notice, Privacy policy