ITU

A type theory for productive coprogramming via guarded recursion

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageDanish
Title of host publicationProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : CSL-LICS '14
Number of pages10
PublisherAssociation for Computing Machinery
Publication date2014
Article number71
ISBN (Print)978-1-4503-2886-9
DOIs
Publication statusPublished - 2014
EventJoint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vienna, Austria
Duration: 14 Jul 201418 Jul 2014

Conference

ConferenceJoint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
LandAustria
ByVienna
Periode14/07/201418/07/2014
SeriesAnnual Symposium on Logic in Computer Science
ISSN1043-6871

ID: 80113874