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)

1. Linear usage of state cs.PL · 2014 · author #1
2. First steps in synthetic guarded domain theory: step-indexing in the topos of trees cs.LO · 2012 · author #2

Mentions

• 1403.1477 #1 · backfill · confidence 0.70 Rasmus Ejlers M{\o}gelberg (IT University of Copenhagen)
• 1208.3596 #2 · backfill · confidence 0.70 Rasmus Ejlers M{\o}gelberg (IT University of Copenhagen)

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