Rasmus E. M{\o}gelberg

Identifiers

No identifiers captured yet.

Papers (3)

1. Denotational semantics of recursive types in synthetic guarded domain theory cs.LO · 2018 · author #1
2. Guarded Dependent Type Theory with Coinductive Types cs.LO · 2016 · author #4
3. Linear Abadi and Plotkin Logic cs.LO · 2006 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Lars Birkedal 2 shared papers
• Ale\v{s} Bizjak 1 shared papers
• Hans Bugge Grathwohl 1 shared papers
• Marco Paviotti 1 shared papers
• Ranald Clouston 1 shared papers
• Rasmus Lerchedahl Petersen 1 shared papers