Unifying Cubical and Multimodal Type Theory

Aagaard, F. L. (Lecturer)

Department of Computer Science

Activity: Presentations, memberships, employment, ownership and other activities › Lecture and oral contribution

Period	21 Jun 2022
Event title	28th International Conference on Types for Proofs and Programs
Event type	Conference
Location	Nantes, FranceShow on map

Keywords

dependent type theory
modal type theory
cubical type theory
guarded recursion
categorical semantics

Documents & Links

Recording of Presentation

Related content

Research output
Unifying Cubical and Multimodal Type Theory
Research output: Contribution to conference › Conference abstract for conference › Research › peer-review