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
Citace podle Chicago (17th ed.)Laird, 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.
Citace podle MLA (9th ed.)Laird, 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.