APA (7th ed.) Citation

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.) Citation

Clouston, 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.) Citation

Clouston, 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.