Programming Systems Lab: Publications by Rasmus Ejlers Møgelberg

Saarland University Computer Science
Programming Systems
People
Publications
Coordinates
Teaching
Software
Internal

Alice
Gecode
Mozart

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

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


Webmaster, Wed Sep 16 16:33:27 2009