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
Citace podle Chicago (17th ed.)Clouston, Ranald, Aleš Bizjak, Hans Bugge Grathwohl, a 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.
Citace podle MLA (9th ed.)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.