Rasmus Ejlers M{\o}gelberg

Identifiers

• name variant Rasmus Ejlers M{\o}gelberg 0.60 · backfill

Papers (4)

1. Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability cs.LO · 2025 · author #2
2. Bisimulation as path type for guarded recursive types cs.LO · 2018 · author #1
3. The clocks they are adjunctions:Denotational semantics for Clocked Type Theory cs.LO · 2018 · author #2
4. Relational Parametricity for Computational Effects cs.PL · 2009 · author #1

Mentions

• 2501.18275 #2 · arxiv_oai · confidence 0.70 Rasmus Ejlers M{\o}gelberg
• 0906.5488 #1 · backfill · confidence 0.70 Rasmus Ejlers M{\o}gelberg

Frequent Coauthors

• Alex Simpson 1 shared papers
• Bassel Mannaa 1 shared papers
• Giorgio Bacci 1 shared papers
• Niccol\`o Veltri 1 shared papers