Rasmus Ejlers M{\o}gelberg (IT University of Copenhagen)
Identifiers
- name variant Rasmus Ejlers M{\o}gelberg (IT University of Copenhagen) 0.60 · backfill
Papers (2)
- Linear usage of state cs.PL · 2014 · author #1
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees cs.LO · 2012 · author #2
Mentions
Frequent Coauthors
- Jan Schwinghammer (Saarland University) 1 shared papers
- Kristian St{\o}vring (DIKU 1 shared papers
- Lars Birkedal (IT University of Copenhagen) 1 shared papers
- Sam Staton (Computer Laboratory 1 shared papers
- University of Cambridge) 1 shared papers
- University of Copenhagen) 1 shared papers