Concepedia

Rasmus Ejlers Møgelberg

RE

Statistics

Publications

15

Citations

459

H-Index

13

Active since

2005

Affiliations

IT University of Copenhagen(Current)

Aarhus University

University of Copenhagen

Saarland University

University of Cambridge

Rasmus Ejlers Møgelberg is an author at IT University of Copenhagen specializing in computer science, computing, and type systems.

ORCID

Publications per year

2005–2019

15

Publications

15

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer et al. · Logical Methods in Computer Science · 2012 · 76 citations · Full text

, , +16

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer et al. · 2011 · 70 citations

, , +16

Modal dependent type theory and dependent right adjoints

Lars Birkedal, Ranald Clouston, Bassel Mannaa et al. · Apollo (University of Cambridge) · 2019 · 40 citations · Full text

, , +14

A type theory for productive coprogramming via guarded recursion

Rasmus Ejlers Møgelberg · 2014 · 37 citations

, , +16

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes

Lars Birkedal, Rasmus Ejlers Møgelberg · 2013 · 36 citations

, , +15

1–5 of 15