Guarded cubical type theory

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

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

OriginalsprogEngelsk
Publikationsdato2016
Antal sider2
StatusUdgivet - 2016
Begivenhed22nd International Conference on Types for Proofs and Programs - Novi Sad, Serbien
Varighed: 23 maj 201626 maj 2016
Konferencens nummer: 22
http://www.types2016.uns.ac.rs/

Konference

Konference22nd International Conference on Types for Proofs and Programs
Nummer22
Land/OmrådeSerbien
ByNovi Sad
Periode23/05/201626/05/2016
Internetadresse

Citationsformater