View in EDS HTML Full Text PDF Full Text

A contextual formalization of structural coinduction.

Saved in:
Bibliographic Details
Title: A contextual formalization of structural coinduction.
Authors: DOWNEN, PAUL1 (AUTHOR), ARIOLA, ZENA M.2 (AUTHOR)
Source: Journal of Functional Programming. 2025, Vol. 35, p1-59. 59p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796825100026