ITU
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 7218 5297

Information Desk: 72185000

Research Group Coordinator

Programming Logic and Semantics

View graph of relations

Research outputs (28)

  1. Published

    Bisimulation as path type for guarded recursive types

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Denotational semantics of recursive types in synthetic guarded domain theory

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

  3. Published

    The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all (28) »

Press (4)

  1. NAVNE I NOTER

    Press/Media: Press / Media

  2. HÆDER - NAVNENYT

    Press/Media: Press / Media

View all (4) »

Research Activities (2)

  1. Cubical sets

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  2. Homotopy type theory seminar

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

Recent activities and conferences

ID: 263471