Conference contribution


Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion


Publication Details
Author(s): Milius S, Litak TM
Publisher: Cornell University Library
Publishing place: Cornell
Publication year: 2013
Title of series: Electronic Proceedings in Theoretical Computer Science
Volume: 126
Conference Proceedings Title: Proc. Fixed Points in Computer Science
Pages range: 72-86
ISSN: 2075-2180



How to cite
APA: Milius, S., & Litak, T.M. (2013). Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. In Proc. Fixed Points in Computer Science (pp. 72-86). Cornell: Cornell University Library.

MLA: Milius, Stefan, and Tadeusz Michal Litak. "Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion." Proceedings of the Proc. Fixed Points in Computer Science Cornell: Cornell University Library, 2013. 72-86.

BibTeX: Download
Share link
Last updated on 2017-08-19 at 03:39
PDF downloaded successfully