Rasmus Ejlers Møgelberg

Available identifiers

zbMath Open mogelberg.rasmus-ejlersMaRDI QIDQ952486

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4993353	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5144643	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
https://portal.mardi4nfdi.de/entity/Q2852350	2013-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q2852351	2013-10-08	Paper
First steps in synthetic guarded domain theory: step-indexing in the topos of trees	2012-10-22	Paper
Linear-use CPS translations in the Enriched Effect Calculus	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
https://portal.mardi4nfdi.de/entity/Q5458501	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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