APA (7th ed.) Citation

DOWNEN, P., & ARIOLA, Z. M. (2025). A contextual formalization of structural coinduction. Journal of Functional Programming, 35, 1. https://doi.org/10.1017/S0956796825100026

Chicago Style (17th ed.) Citation

DOWNEN, PAUL, and ZENA M. ARIOLA. "A Contextual Formalization of Structural Coinduction." Journal of Functional Programming 35 (2025): 1. https://doi.org/10.1017/S0956796825100026.

MLA (9th ed.) Citation

DOWNEN, PAUL, and ZENA M. ARIOLA. "A Contextual Formalization of Structural Coinduction." Journal of Functional Programming, vol. 35, 2025, p. 1, https://doi.org/10.1017/S0956796825100026.