EasyChair Smart SlideDocs/Log in
Author: Rasmus Ejlers Møgelberg

This page shows all presentations of this author published in EasyChair Smart Slide.

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction Under Clocks

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction Under Clocks

Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg and Andrea Vezzosi

Dependent Right Adjoint Types

Dependent Right Adjoint Types

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew Pitts and Bas Spitters

The clocks they are adjunctions. Denotational semantics for Clocked Type Theory

The clocks they are adjunctions. Denotational semantics for Clocked Type Theory

Bassel Mannaa and Rasmus Ejlers Møgelberg

What makes guarded types tick?

What makes guarded types tick?

Patrick Bahr, Bassel Mannaa and Rasmus Ejlers Møgelberg

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair