Magnus Baunsgaard Kristensen

According to our database¹, Magnus Baunsgaard Kristensen authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Unifying cubical and multimodal type theory.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2024

2022

Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

A model of Clocked Cubical Type Theory.

[BibT_eX]

[DOI]

CoRR, 2021