Gabbay, M. J. (2016). Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation. Journal of the ACM, 63(3), 1-66. https://doi.org/10.1145/2700819
Chicago Style (17th ed.) CitationGabbay, Murdoch J. "Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation." Journal of the ACM 63, no. 3 (2016): 1-66. https://doi.org/10.1145/2700819.
MLA (9th ed.) CitationGabbay, Murdoch J. "Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation." Journal of the ACM, vol. 63, no. 3, 2016, pp. 1-66, https://doi.org/10.1145/2700819.
Warning: These citations may not always be 100% accurate.