A contextual formalization of structural coinduction. - DOWNEN, PAUL; ARIOLA, ZENA M. (Journal of Functional Programming, 2025)