×

Møgelberg, Rasmus Ejlers

Compute Distance To:
Author ID: mogelberg.rasmus-ejlers Recent zbMATH articles by "Møgelberg, Rasmus Ejlers"
Published as: Møgelberg, Rasmus Ejlers; Møgelberg, Rasmus E.; Ejlers Møgelberg, Rasmus; Møgelberg, R. E.
External Links: MGP
Documents Indexed: 34 Publications since 2004
Co-Authors: 19 Co-Authors with 29 Joint Publications
273 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 111 times in 58 Documents Cited by Year
First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035
Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian
23
2012
Categorical models for Abadi and Plotkin’s logic for parametricity. Zbl 1082.03012
Birkedal, Lars; Møgelberg, Rasmus E.
11
2005
Guarded dependent type theory with coinductive types. Zbl 1475.68060
Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald; Møgelberg, Rasmus E.; Birkedal, Lars
11
2016
A type theory for productive coprogramming via guarded recursion. Zbl 1394.68066
Møgelberg, Rasmus Ejlers
10
2014
Intensional type theory with guarded recursive types qua fixed points on universes. Zbl 1367.68060
Birkedal, Lars; Møgelberg, Rasmus Ejlers
7
2013
A model of guarded recursion with clock synchronisation. Zbl 1351.68057
Bizjak, Aleš; Møgelberg, Rasmus Ejlers
6
2015
Linear usage of state. Zbl 1326.68070
Møgelberg, Rasmus Ejlers; Staton, Sam
5
2014
The enriched effect calculus: syntax and semantics. Zbl 1338.03014
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
4
2014
Linearly-used state in models of call-by-value. Zbl 1344.68040
Møgelberg, Rasmus Ejlers; Staton, Sam
4
2011
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism. Zbl 1133.68310
Møgelberg, Rasmus Ejlers
3
2006
Linear Abadi & Plotkin logic. Zbl 1127.03022
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus Lerchedahl
3
2006
Enriching an effect calculus with linear types. Zbl 1257.03053
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
3
2009
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. Zbl 1273.03099
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
3
2006
Denotational semantics for guarded dependent type theory. Zbl 07283038
Bizjak, Aleš; Ejlers Møgelberg, Rasmus
2
2020
The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion. Zbl 1452.03031
Bahr, Patrick; Grathwohl, Hans Bugge; Møgelberg, Rasmus Ejlers
2
2017
Category-theoretic models of linear Abadi & Plotkin logic. Zbl 1140.03012
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
2
2008
Modal dependent type theory and dependent right adjoints. Zbl 1479.03011
Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas
2
2020
A model of PCF in guarded type theory. Zbl 1351.68063
Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars
2
2015
Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. Zbl 07288622
Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò
1
2020
Denotational semantics of recursive types in synthetic guarded domain theory. Zbl 1401.68047
Møgelberg, Rasmus Ejlers; Paviotti, Marco
1
2016
Relational parametricity for computational effects. Zbl 1168.68009
Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2009
Synthetic domain theory and models of linear Abadi & Plotkin logic. Zbl 1153.03007
Møgelberg, Rasmus Ejlers; Birkedal, Lars; Rosolini, Giuseppe
1
2008
Domain-theoretical models of parametric polymorphism. Zbl 1138.03027
Birkedal, L.; Møgelberg, R. E.; Petersen, R. L.
1
2007
Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2010
Linear-use CPS translations in the enriched effect calculus. Zbl 1273.03164
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2012
The clocks they are adjunctions. Denotational semantics for clocked type theory. Zbl 1462.68023
Mannaa, Bassel; Møgelberg, Rasmus Ejlers
1
2018
Denotational semantics for guarded dependent type theory. Zbl 07283038
Bizjak, Aleš; Ejlers Møgelberg, Rasmus
2
2020
Modal dependent type theory and dependent right adjoints. Zbl 1479.03011
Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas
2
2020
Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. Zbl 07288622
Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò
1
2020
The clocks they are adjunctions. Denotational semantics for clocked type theory. Zbl 1462.68023
Mannaa, Bassel; Møgelberg, Rasmus Ejlers
1
2018
The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion. Zbl 1452.03031
Bahr, Patrick; Grathwohl, Hans Bugge; Møgelberg, Rasmus Ejlers
2
2017
Guarded dependent type theory with coinductive types. Zbl 1475.68060
Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald; Møgelberg, Rasmus E.; Birkedal, Lars
11
2016
Denotational semantics of recursive types in synthetic guarded domain theory. Zbl 1401.68047
Møgelberg, Rasmus Ejlers; Paviotti, Marco
1
2016
A model of guarded recursion with clock synchronisation. Zbl 1351.68057
Bizjak, Aleš; Møgelberg, Rasmus Ejlers
6
2015
A model of PCF in guarded type theory. Zbl 1351.68063
Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars
2
2015
A type theory for productive coprogramming via guarded recursion. Zbl 1394.68066
Møgelberg, Rasmus Ejlers
10
2014
Linear usage of state. Zbl 1326.68070
Møgelberg, Rasmus Ejlers; Staton, Sam
5
2014
The enriched effect calculus: syntax and semantics. Zbl 1338.03014
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
4
2014
Intensional type theory with guarded recursive types qua fixed points on universes. Zbl 1367.68060
Birkedal, Lars; Møgelberg, Rasmus Ejlers
7
2013
First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035
Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian
23
2012
Linear-use CPS translations in the enriched effect calculus. Zbl 1273.03164
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2012
Linearly-used state in models of call-by-value. Zbl 1344.68040
Møgelberg, Rasmus Ejlers; Staton, Sam
4
2011
Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2010
Enriching an effect calculus with linear types. Zbl 1257.03053
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
3
2009
Relational parametricity for computational effects. Zbl 1168.68009
Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2009
Category-theoretic models of linear Abadi & Plotkin logic. Zbl 1140.03012
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
2
2008
Synthetic domain theory and models of linear Abadi & Plotkin logic. Zbl 1153.03007
Møgelberg, Rasmus Ejlers; Birkedal, Lars; Rosolini, Giuseppe
1
2008
Domain-theoretical models of parametric polymorphism. Zbl 1138.03027
Birkedal, L.; Møgelberg, R. E.; Petersen, R. L.
1
2007
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism. Zbl 1133.68310
Møgelberg, Rasmus Ejlers
3
2006
Linear Abadi & Plotkin logic. Zbl 1127.03022
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus Lerchedahl
3
2006
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. Zbl 1273.03099
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
3
2006
Categorical models for Abadi and Plotkin’s logic for parametricity. Zbl 1082.03012
Birkedal, Lars; Møgelberg, Rasmus E.
11
2005

Citations by Year