Rasmus Møgelberg
Title
Cited by
Cited by
Year
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
L Birkedal, RE Mogelberg, J Schwinghammer, K Stovring
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 55-64, 2011
1642011
Guarded dependent type theory with coinductive types
A Bizjak, HB Grathwohl, R Clouston, RE Møgelberg, L Birkedal
International Conference on Foundations of Software Science and Computation …, 2016
592016
Intensional type theory with guarded recursive types qua fixed points on universes
L Birkedal, RE Møgelberg
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 213-222, 2013
452013
A type theory for productive coprogramming via guarded recursion
RE Møgelberg
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
442014
Categorical models for Abadi and Plotkin's logic for parametricity
L Birkedal, RE Møgelberg
Mathematical Structures in Computer Science 15 (4), 709-772, 2005
432005
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
372014
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
372014
Enriching an effect calculus with linear types
J Egger, RE Møgelberg, A Simpson
International Workshop on Computer Science Logic, 240-254, 2009
352009
The clocks are ticking: No more delays!
P Bahr, HB Grathwohl, RE Møgelberg
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
342017
Relational parametricity for computational effects
RE Mogelberg, A Simpson
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 346-355, 2007
282007
Linear abadi and plotkin logic
L Birkedal, RE Møgelberg, RL Petersen
arXiv preprint cs/0611004, 2006
282006
Linear usage of state
RE Møgelberg, S Staton
arXiv preprint arXiv:1403.1477, 2014
262014
Modal dependent type theory and dependent right adjoints
L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
Mathematical Structures in Computer Science 30 (2), 118-138, 2020
232020
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks
P Bahr, CU Graulund, RE Møgelberg
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-27, 2019
192019
A model of guarded recursion with clock synchronisation
A Bizjak, RE Møgelberg
Electronic Notes in Theoretical Computer Science 319, 83-101, 2015
192015
A model of PCF in guarded type theory
M Paviotti, RE Møgelberg, L Birkedal
Electronic Notes in Theoretical Computer Science 319, 333-349, 2015
152015
Domain-theoretical models of parametric polymorphism
L Birkedal, RE Møgelberg, RL Petersen
Theoretical Computer Science 388 (1-3), 152-172, 2007
152007
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
L Birkedal, RE Møgelberg, RL Petersen
Electronic Notes in Theoretical Computer Science 155, 191-217, 2006
152006
The clocks they are adjunctions: Denotational semantics for clocked type theory
B Mannaa, RE Møgelberg
arXiv preprint arXiv:1804.06687, 2018
142018
Denotational semantics for guarded dependent type theory
A Bizjak, RE Møgelberg
Mathematical Structures in Computer Science 30 (4), 342-378, 2020
132020
The system can't perform the operation now. Try again later.
Articles 1–20