Clouston, R., Bizjak, A., Grathwohl, H. B., & Birkedal, L. (2017). The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationClouston, Ranald, Aleš Bizjak, Hans Bugge Grathwohl, and Lars Birkedal. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Logical Methods in Computer Science e.V, 2017.
MLA (9th ed.) CitationClouston, Ranald, et al. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Logical Methods in Computer Science e.V, 2017.
Warning: These citations may not always be 100% accurate.