Rasmus Ejlers Møgelberg

Available identifiers

zbMath Open mogelberg.rasmus-ejlersMaRDI QIDQ952486

List of research outcomes

Publication	Date of Publication	Type
Two guarded recursive powerdomains for applicative simulation	2024-12-17	Paper
Greatest HITs: higher inductive types in coinductive definitions via induction under clocks	2024-12-06	Paper
The clocks they are adjunctions. Denotational semantics for clocked type theory	2021-06-15	Paper
The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5141620	2020-12-18	Paper
Denotational semantics for guarded dependent type theory	2020-12-08	Paper
Modal dependent type theory and dependent right adjoints	2020-03-11	Paper
Denotational semantics of recursive types in synthetic guarded domain theory	2019-02-19	Paper
A type theory for productive coprogramming via guarded recursion	2018-04-23	Paper
Denotational semantics of recursive types in synthetic guarded domain theory	2018-04-23	Paper
Intensional type theory with guarded recursive types qua fixed points on universes	2017-07-03	Paper
A model of guarded recursion with clock synchronisation	2016-12-16	Paper
A model of PCF in guarded type theory	2016-12-16	Paper
A nominal relational model for local store	2016-07-08	Paper
Guarded dependent type theory with coinductive types	2016-06-10	Paper
Relational parametricity for control considered as a computational effect	2015-07-10	Paper
The enriched effect calculus: syntax and semantics	2015-01-12	Paper
Linear usage of state	2014-04-09	Paper
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus	2013-10-08	Paper
Synthetic domain theory and models of linear Abadi \& Plotkin logic	2013-10-08	Paper
Linear-use CPS translations in the enriched effect calculus	2012-10-22	Paper
First steps in synthetic guarded domain theory: step-indexing in the topos of trees	2012-10-22	Paper
Linearly-used state in models of call-by-value	2011-09-02	Paper
Linearly-Used Continuations in the Enriched Effect Calculus	2010-04-27	Paper
Enriching an Effect Calculus with Linear Types	2009-11-12	Paper
From parametric polymorphism to models of polymorphic FPC	2009-08-26	Paper
Relational Parametricity for Computational Effects	2009-08-20	Paper
Synthetic domain theory and models of linear Abadi {\&} Plotkin logic	2008-11-12	Paper
A Logic for Parametric Polymorphism with Effects	2008-06-03	Paper
Category-theoretic models of linear Abadi \& Plotkin logic	2008-04-15	Paper
Domain-theoretical models of parametric polymorphism	2007-12-18	Paper
Linear Abadi and Plotkin Logic	2007-10-11	Paper
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism	2007-09-11	Paper
Categorical models for Abadi and Plotkin's logic for parametricity	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5692782	2005-09-28	Paper

Research outcomes over time

This page was built for person: Rasmus Ejlers Møgelberg