View in EDS HTML Full Text PDF Full Text

Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM.

Saved in:
Bibliographic Details
Title: Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM.
Authors: DANVY, OLIVIER (AUTHOR)
Source: Journal of Functional Programming. 2023, Vol. 33, p1-1. 1p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796823000011