ITU
Rasmus Ejlers Møgelberg

Rasmus Ejlers Møgelberg

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C12

Phone: +45 72185297

Information Desk: 72185000

Research Group Coordinator

Programming Logic and Semantics

View graph of relations

  1. Journal article
  2. Published

    Intensional type theory with guarded recursive types qua fixed points on universes

    Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Linear usage of state

    Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  4. Published

    Linear-use CPS translations in the enriched effect calculus

    Møgelberg, R. E., Simpson, A. & Egger, J., 2012, In: Logical Methods in Computer Science. 8, 4

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  5. Published

    Relational parametricity for control considered as a computational effect

    Møgelberg, R. E. & Simpson, A., 2007, In: Electronical Notes in Theoretical Computer Science. 173

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. Published

    Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

    Møgelberg, R. E., Birkedal, L. & Rosolini, G., 2 Sep 2008, In: Annals of Pure and Applied Logic. 155, 2, p. 115-133 19 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  7. Published

    The Enriched Effect Calculus: Syntax and Semantics

    Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  8. Published

    A Model of PCF in Guarded Type Theory

    Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 333-349

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  9. Conference article
  10. Published

    The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion

    Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 18 Aug 2017, In: Annual Symposium on Logic in Computer Science. 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  11. Published

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

    Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, In: Annual Symposium on Logic in Computer Science. p. 55-64

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  12. Published

    Enriching an effect calculus with linear types

    Egger, J., Møgelberg, R. E. & Simpson, A., 2009, In: Lecture Notes in Computer Science. 5771, p. 240 254 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

ID: 263471