Edit Profile (opens in new tab) Møgelberg, Rasmus Ejlers Compute Distance To: Compute Author ID: mogelberg.rasmus-ejlers Published as: Møgelberg, Rasmus Ejlers; Møgelberg, Rasmus E.; Ejlers Møgelberg, Rasmus; Møgelberg, R. E. more...less External Links: MGP Documents Indexed: 34 Publications since 2004 Co-Authors: 19 Co-Authors with 29 Joint Publications 289 Co-Co-Authors all top 5 Co-Authors 5 single-authored 12 Birkedal, Lars 7 Simpson, Alex K. 4 Egger, Jeffrey M. 4 Petersen, Rasmus Lerchedahl 3 Bizjak, Aleš 3 Mannaa, Bassel 3 Paviotti, Marco 2 Clouston, Ranald A. 2 Grathwohl, Hans Bugge 2 Rosolini, Giuseppe 2 Staton, Sam 1 Al-Sibahi, Ahmad Salim 1 Bahr, Patrick 1 Pitts, Andrew M. 1 Schwinghammer, Jan 1 Spitters, Bas 1 Støvring, Kristian 1 Veltri, Niccolò 1 Wąsowski, Andrzej all top 5 Serials 6 Logical Methods in Computer Science 5 MSCS. Mathematical Structures in Computer Science 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Logic and Computation 1 Topology Proceedings 1 Theory and Applications of Categories Fields 27 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 17 Category theory; homological algebra (18-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 126 times in 67 Documents Cited by ▼ Year ▼ First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian 26 2012 Guarded dependent type theory with coinductive types. Zbl 1475.68060Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald; Møgelberg, Rasmus E.; Birkedal, Lars 13 2016 A type theory for productive coprogramming via guarded recursion. Zbl 1394.68066Møgelberg, Rasmus Ejlers 12 2014 Categorical models for Abadi and Plotkin’s logic for parametricity. Zbl 1082.03012Birkedal, Lars; Møgelberg, Rasmus E. 11 2005 Intensional type theory with guarded recursive types qua fixed points on universes. Zbl 1367.68060Birkedal, Lars; Møgelberg, Rasmus Ejlers 9 2013 Linear usage of state. Zbl 1326.68070Møgelberg, Rasmus Ejlers; Staton, Sam 7 2014 A model of guarded recursion with clock synchronisation. Zbl 1351.68057Bizjak, Aleš; Møgelberg, Rasmus Ejlers 6 2015 The enriched effect calculus: syntax and semantics. Zbl 1338.03014Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 4 2014 Enriching an effect calculus with linear types. Zbl 1257.03053Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 4 2009 Linearly-used state in models of call-by-value. Zbl 1344.68040Møgelberg, Rasmus Ejlers; Staton, Sam 4 2011 Modal dependent type theory and dependent right adjoints. Zbl 1479.03011Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas 3 2020 Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. Zbl 1273.03099Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. 3 2006 Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism. Zbl 1133.68310Møgelberg, Rasmus Ejlers 3 2006 Linear Abadi & Plotkin logic. Zbl 1127.03022Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus Lerchedahl 3 2006 A model of PCF in guarded type theory. Zbl 1351.68063Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars 3 2015 The clocks they are adjunctions. Denotational semantics for clocked type theory. Zbl 1462.68023Mannaa, Bassel; Møgelberg, Rasmus Ejlers 2 2018 Denotational semantics for guarded dependent type theory. Zbl 1495.68127Bizjak, Aleš; Ejlers Møgelberg, Rasmus 2 2020 The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion. Zbl 1452.03031Bahr, Patrick; Grathwohl, Hans Bugge; Møgelberg, Rasmus Ejlers 2 2017 Category-theoretic models of linear Abadi & Plotkin logic. Zbl 1140.03012Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. 2 2008 Domain-theoretical models of parametric polymorphism. Zbl 1138.03027Birkedal, L.; Møgelberg, R. E.; Petersen, R. L. 1 2007 Denotational semantics of recursive types in synthetic guarded domain theory. Zbl 1401.68047Møgelberg, Rasmus Ejlers; Paviotti, Marco 1 2016 Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. Zbl 07288622Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò 1 2020 Relational parametricity for computational effects. Zbl 1168.68009Møgelberg, Rasmus Ejlers; Simpson, Alex 1 2009 Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 1 2010 Linear-use CPS translations in the enriched effect calculus. Zbl 1273.03164Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 1 2012 Synthetic domain theory and models of linear Abadi & Plotkin logic. Zbl 1153.03007Møgelberg, Rasmus Ejlers; Birkedal, Lars; Rosolini, Giuseppe 1 2008 Modal dependent type theory and dependent right adjoints. Zbl 1479.03011Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas 3 2020 Denotational semantics for guarded dependent type theory. Zbl 1495.68127Bizjak, Aleš; Ejlers Møgelberg, Rasmus 2 2020 Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. Zbl 07288622Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò 1 2020 The clocks they are adjunctions. Denotational semantics for clocked type theory. Zbl 1462.68023Mannaa, Bassel; Møgelberg, Rasmus Ejlers 2 2018 The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion. Zbl 1452.03031Bahr, Patrick; Grathwohl, Hans Bugge; Møgelberg, Rasmus Ejlers 2 2017 Guarded dependent type theory with coinductive types. Zbl 1475.68060Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald; Møgelberg, Rasmus E.; Birkedal, Lars 13 2016 Denotational semantics of recursive types in synthetic guarded domain theory. Zbl 1401.68047Møgelberg, Rasmus Ejlers; Paviotti, Marco 1 2016 A model of guarded recursion with clock synchronisation. Zbl 1351.68057Bizjak, Aleš; Møgelberg, Rasmus Ejlers 6 2015 A model of PCF in guarded type theory. Zbl 1351.68063Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars 3 2015 A type theory for productive coprogramming via guarded recursion. Zbl 1394.68066Møgelberg, Rasmus Ejlers 12 2014 Linear usage of state. Zbl 1326.68070Møgelberg, Rasmus Ejlers; Staton, Sam 7 2014 The enriched effect calculus: syntax and semantics. Zbl 1338.03014Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 4 2014 Intensional type theory with guarded recursive types qua fixed points on universes. Zbl 1367.68060Birkedal, Lars; Møgelberg, Rasmus Ejlers 9 2013 First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian 26 2012 Linear-use CPS translations in the enriched effect calculus. Zbl 1273.03164Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 1 2012 Linearly-used state in models of call-by-value. Zbl 1344.68040Møgelberg, Rasmus Ejlers; Staton, Sam 4 2011 Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 1 2010 Enriching an effect calculus with linear types. Zbl 1257.03053Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex 4 2009 Relational parametricity for computational effects. Zbl 1168.68009Møgelberg, Rasmus Ejlers; Simpson, Alex 1 2009 Category-theoretic models of linear Abadi & Plotkin logic. Zbl 1140.03012Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. 2 2008 Synthetic domain theory and models of linear Abadi & Plotkin logic. Zbl 1153.03007Møgelberg, Rasmus Ejlers; Birkedal, Lars; Rosolini, Giuseppe 1 2008 Domain-theoretical models of parametric polymorphism. Zbl 1138.03027Birkedal, L.; Møgelberg, R. E.; Petersen, R. L. 1 2007 Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. Zbl 1273.03099Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. 3 2006 Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism. Zbl 1133.68310Møgelberg, Rasmus Ejlers 3 2006 Linear Abadi & Plotkin logic. Zbl 1127.03022Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus Lerchedahl 3 2006 Categorical models for Abadi and Plotkin’s logic for parametricity. Zbl 1082.03012Birkedal, Lars; Møgelberg, Rasmus E. 11 2005 all cited Publications top 5 cited Publications all top 5 Cited by 80 Authors 13 Møgelberg, Rasmus Ejlers 11 Birkedal, Lars 7 Bizjak, Aleš 5 Johann, Patricia 5 Staton, Sam 4 Clouston, Ranald A. 4 Ghani, Neil 3 Ahman, Danel 3 Grathwohl, Hans Bugge 3 Nordvall Forsberg, Fredrik 3 Paviotti, Marco 3 Schröder, Lutz 3 Simpson, Alex K. 3 Veltri, Niccolò 2 Bengtson, Jesper 2 Ghiorzi, Enrico 2 Hermida, Claudio 2 Kavvos, G. A. 2 Litak, Tadeusz 2 Mannaa, Bassel 2 Orsanigo, Federico 2 Rennela, Mathys 2 Riba, Colin 2 Severi, Paula Gabriela 2 Spitters, Bas 2 Vezzosi, Andrea 2 Voigtlander, Janis 2 Zamdzhiev, Vladimir 1 Basold, Henning 1 Bauer, Andrej 1 Dal Lago, Ugo 1 de’Liguoro, Ugo 1 Derakhshan, Farzaneh 1 Egger, Jeffrey M. 1 Ehrhard, Thomas 1 Faggian, Claudia 1 Filinski, Andrzej 1 Garner, Richard 1 Goncharov, Sergeĭ Savost’yanovich 1 Gratzer, Daniel 1 Graulund, Christian Uldal 1 Guerrieri, Giulio 1 Hyvernat, Pierre 1 Jaber, Guilhem 1 Jacobs, Bart 1 Jeffries, Daniel 1 Jeltsch, Wolfgang 1 Kastberg Hinrichsen, Jonas 1 Krebbers, Robbert 1 Krishnaswami, Neel 1 Laird, Jim 1 Levy, Paul Blain 1 Lindenhovius, Bert 1 Mislove, Michael W. 1 Mossakowski, Till 1 Nuyts, Andreas 1 Pattinson, Dirk 1 Petersen, Rasmus Lerchedahl 1 Pfenning, Frank 1 Pitts, Andrew M. 1 Plotkin, Gordon D. 1 Polzer, Miriam 1 Rabenstein, Ulrich 1 Rauch, Christoph 1 Reddy, Uday S. 1 Revell, Tim 1 Robinson, Edmund P. 1 Rosolini, Giuseppe 1 Schöpp, Ulrich 1 Sieczkowski, Filip 1 Silva, Alexandra 1 Svendsen, Kasper 1 Szamozvancev, Dmitrij 1 Tennent, Robert D. 1 Treglia, Riccardo 1 Uemura, Taichi 1 Uustalu, Tarmo 1 Vákár, Matthijs 1 van der Weide, Niels 1 Visser, Albert all top 5 Cited in 8 Serials 12 Logical Methods in Computer Science 8 MSCS. Mathematical Structures in Computer Science 7 Theoretical Computer Science 2 Information and Computation 2 Journal of Logical and Algebraic Methods in Programming 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Indagationes Mathematicae. New Series Cited in 5 Fields 57 Computer science (68-XX) 43 Mathematical logic and foundations (03-XX) 22 Category theory; homological algebra (18-XX) 1 Algebraic topology (55-XX) 1 Numerical analysis (65-XX) Citations by Year