Guarded cubical type theory

Lars Birkedal, Aleš Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

Research output: Contribution to conference › Conference abstract for conference › Research

Original language	English
Publication date	2016
Number of pages	2
Publication status	Published - 2016
Event	22nd International Conference on Types for Proofs and Programs - Novi Sad, Serbia Duration: 23 May 2016 → 26 May 2016 Conference number: 22 http://www.types2016.uns.ac.rs/

Conference	22nd International Conference on Types for Proofs and Programs
Number	22
Country/Territory	Serbia
City	Novi Sad
Period	23/05/2016 → 26/05/2016
Internet address	http://www.types2016.uns.ac.rs/

Access to Document

@conference{038b5a2fce12425fb9c6e83a8adb1246,

title = "Guarded cubical type theory",

author = "Lars Birkedal and Ale{\v s} Bizjak and Ranald Clouston and Grathwohl, {Hans Bugge} and Bas Spitters and Andrea Vezzosi",

year = "2016",

language = "English",

note = "22nd International Conference on Types for Proofs and Programs ; Conference date: 23-05-2016 Through 26-05-2016",

url = "http://www.types2016.uns.ac.rs/",

}