The following pages link to Rasmus Ejlers Møgelberg (Q952486):
Displayed 34 items.
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Item:Q952486 (redirect page) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- (Q2852350) (← links)
- (Q2852351) (← links)
- The enriched effect calculus: syntax and semantics (Q2937687) (← links)
- Linearly-Used State in Models of Call-by-Value (Q3090876) (← links)
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees (Q3166222) (← links)
- Linear-use CPS translations in the Enriched Effect Calculus (Q3166223) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- Relational Parametricity for Computational Effects (Q3395102) (← links)
- From parametric polymorphism to models of polymorphic FPC (Q3395309) (← links)
- A Logic for Parametric Polymorphism with Effects (Q3499756) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (Q3591407) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- A type theory for productive coprogramming via guarded recursion (Q4635656) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4635887) (← links)
- (Q4993353) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q5141620) (← links)
- (Q5144643) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
- Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (Q5271058) (← links)
- Linear Abadi and Plotkin Logic (Q5310673) (← links)
- Linear usage of state (Q5408192) (← links)
- (Q5458501) (← links)
- (Q5692782) (← links)
- Categorical models for Abadi and Plotkin's logic for parametricity (Q5697712) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)