Magnus Baunsgaard Kristensen

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Inductive Reasoning

Multimodal Information

Theoretical Foundation

Top Venues

Publications

Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks. LICS (2022)
Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal
Unifying cubical and multimodal type theory. CoRR (2022)
Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi
A model of Clocked Cubical Type Theory. CoRR (2021)