Unifying Cubical and Multimodal Type Theory

^*Corresponding author af dette arbejde

Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

Originalsprog	Engelsk
Publikationsdato	2022
Antal sider	3
Status	Udgivet - 2022
Begivenhed	28th International Conference on Types for Proofs and Programs - LS2N, University of Nantes, Nantes, Frankrig Varighed: 20 jun. 2022 → 25 jun. 2022

Konference	28th International Conference on Types for Proofs and Programs
Lokation	LS2N, University of Nantes
Land/Område	Frankrig
By	Nantes
Periode	20/06/2022 → 25/06/2022

Adgang til dokumentet

Unifying Cubical and Multimodal Type Theory
Aagaard, F. L. (Foredragsholder)
21 jun. 2022
Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag

@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 -