A type theory for productive coprogramming via guarded recursion
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
| Original language | Danish |
|---|---|
| Title of host publication | 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) : CSL-LICS '14 |
| Number of pages | 10 |
| Publisher | Association for Computing Machinery |
| Publication date | 2014 |
| Article number | 71 |
| ISBN (Print) | 978-1-4503-2886-9 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | 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) - Vienna, Austria Duration: 14 Jul 2014 → 18 Jul 2014 |
Conference
| Conference | 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) |
|---|---|
| Land | Austria |
| By | Vienna |
| Periode | 14/07/2014 → 18/07/2014 |
| Series | Annual Symposium on Logic in Computer Science |
|---|---|
| ISSN | 1043-6871 |
ID: 80113874