APA (7th ed.) Citation

DANVY, O. (2023). Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. Journal of Functional Programming, 33, 1. https://doi.org/10.1017/S0956796823000011

Chicago Style (17th ed.) Citation

DANVY, OLIVIER. "Fold-unfold Lemmas for Reasoning About Recursive Programs Using the Coq Proof Assistant – ERRATUM." Journal of Functional Programming 33 (2023): 1. https://doi.org/10.1017/S0956796823000011.

MLA (9th ed.) Citation

DANVY, OLIVIER. "Fold-unfold Lemmas for Reasoning About Recursive Programs Using the Coq Proof Assistant – ERRATUM." Journal of Functional Programming, vol. 33, 2023, p. 1, https://doi.org/10.1017/S0956796823000011.