Unifying Cubical and Multimodal Type Theory

^*Corresponding author for this work

Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

Original language	English
Publication date	2022
Number of pages	3
Publication status	Published - 2022
Event	28th International Conference on Types for Proofs and Programs - LS2N, University of Nantes, Nantes, France Duration: 20 Jun 2022 → 25 Jun 2022

Conference	28th International Conference on Types for Proofs and Programs
Location	LS2N, University of Nantes
Country/Territory	France
City	Nantes
Period	20/06/2022 → 25/06/2022

Keywords

Unifying Cubical and Multimodal Type Theory
Aagaard, F. L. (Lecturer)
21 Jun 2022
Activity: Presentations, memberships, employment, ownership and other activities › Lecture and oral contribution

@conference{f9e981dcdb924489ba7a1b9cbceca728,

title = "Unifying Cubical and Multimodal Type Theory",

keywords = "dependent type theory, modal type theory, cubical type theory, guarded recursion, categorical semantics",

author = "Aagaard, {Frederik Lerbjerg} and Magnus Kristensen and Daniel Gratzer and Lars Birkedal",

year = "2022",

language = "English",

note = "28th International Conference on Types for Proofs and Programs, TYPES 2022 ; Conference date: 20-06-2022 Through 25-06-2022",

}

TY - ABST

T1 - Unifying Cubical and Multimodal Type Theory

AU - Aagaard, Frederik Lerbjerg

AU - Kristensen, Magnus

AU - Gratzer, Daniel

AU - Birkedal, Lars

PY - 2022

Y1 - 2022

KW - dependent type theory

KW - modal type theory

KW - cubical type theory

KW - guarded recursion

KW - categorical semantics

M3 - Conference abstract for conference

T2 - 28th International Conference on Types for Proofs and Programs

Y2 - 20 June 2022 through 25 June 2022

ER -