
Rasmus Ejlers Møgelberg
Associate Professor
- Programming Logic and Semantics
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C12
Information Desk: 72185000
Research Group Coordinator
Programming Logic and Semantics- 2008
- Published
Category-theoretic models of linear Abadi & Plotkin Logic.
Birkedal, L., Møgelberg, R. E. & Lerchedahl Petersen, R., 2008, In: Theory and Applications of Categories. 20, 7, p. 116-151 35 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2007
- Published
Relational parametricity for Computational Effects
Møgelberg, R. E. & Simpson, A., 2007.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- Published
Relational parametricity for control considered as a computational effect
Møgelberg, R. E. & Simpson, A., 2007, In: Electronical Notes in Theoretical Computer Science. 173Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2006
- Published
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism
Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
ID: 263471