Clouston, R., Bizjak, A., Grathwohl, H. B., & Birkedal, L. (2016). The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Logical methods in computer science, 12, Issue 3, . https://doi.org/10.2168/LMCS-12(3:7)2016
Chicago-Zitierstil (17. Ausg.)Clouston, Ranald, Aleš Bizjak, Hans Bugge Grathwohl, und Lars Birkedal. "The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types." Logical Methods in Computer Science 12, Issue 3 (2016). https://doi.org/10.2168/LMCS-12(3:7)2016.
MLA-Zitierstil (9. Ausg.)Clouston, Ranald, et al. "The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types." Logical Methods in Computer Science, vol. 12, Issue 3, 2016, https://doi.org/10.2168/LMCS-12(3:7)2016.