Laird, J. (2017). Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects. Annals of pure and applied logic, 168(2), 470-500. https://doi.org/10.1016/j.apal.2016.10.011
Chicago Style (17th ed.) CitationLaird, J. "Combining Control Effects and Their Models: Game Semantics for a Hierarchy of Static, Dynamic and Delimited Control Effects." Annals of Pure and Applied Logic 168, no. 2 (2017): 470-500. https://doi.org/10.1016/j.apal.2016.10.011.
MLA (9th ed.) CitationLaird, J. "Combining Control Effects and Their Models: Game Semantics for a Hierarchy of Static, Dynamic and Delimited Control Effects." Annals of Pure and Applied Logic, vol. 168, no. 2, 2017, pp. 470-500, https://doi.org/10.1016/j.apal.2016.10.011.