APA (7th ed.) Citation

Abe, T., & Kimura, D. (2023). A typed lambda-calculus with first-class configurations. Journal of Logic & Computation, 33(7), 1527. https://doi.org/10.1093/logcom/exac062

Chicago Style (17th ed.) Citation

Abe, Tatsuya, and Daisuke Kimura. "A Typed Lambda-calculus with First-class Configurations." Journal of Logic & Computation 33, no. 7 (2023): 1527. https://doi.org/10.1093/logcom/exac062.

MLA (9th ed.) Citation

Abe, Tatsuya, and Daisuke Kimura. "A Typed Lambda-calculus with First-class Configurations." Journal of Logic & Computation, vol. 33, no. 7, 2023, p. 1527, https://doi.org/10.1093/logcom/exac062.