@inproceedings{0bec11f9a1a344aeb31791978e3f24a9,
title = "A type theory for productive coprogramming via guarded recursion",
keywords = "Guarded recursion, corecursion, dependent types, denotational semantics, categorical semantics, Guarded recursion, corecursion, dependent types, denotational semantics, categorical semantics",
author = "M{\o}gelberg, {Rasmus Ejlers}",
year = "2014",
doi = "10.1145/2603088.2603132",
language = "Dansk",
isbn = "978-1-4503-2886-9",
series = "Annual Symposium on Logic in Computer Science",
publisher = "Association for Computing Machinery",
booktitle = "Proceedings 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)",
address = "USA",
note = "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 ; Conference date: 14-07-2014 Through 18-07-2014",
}