Aarhus University Seal / Aarhus Universitets segl

Guarded cubical type theory

Research output: Contribution to conferenceConference abstract for conferenceResearch

Links

Original languageEnglish
Publication year2016
Number of pages2
Publication statusPublished - 2016
Event22nd International Conference on Types for Proofs and Programs - Novi Sad, Serbia
Duration: 23 May 201626 May 2016
Conference number: 22
http://www.types2016.uns.ac.rs/

Conference

Conference22nd International Conference on Types for Proofs and Programs
Number22
CountrySerbia
CityNovi Sad
Period23/05/201626/05/2016
Internet address

See relations at Aarhus University Citationformats

ID: 108690559