Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. (6th March 2023)

Record Type:: Journal Article
Title:: Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. (6th March 2023)
Main Title:: Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
Authors:: DANVY, OLIVIER
Abstract:
Is Part Of:: Journal of functional programming. Volume 33(2023)
Journal:: Journal of functional programming
Issue:: Volume 33(2023)
Issue Display:: Volume 33, Issue 2023 (2023)
Year:: 2023
Volume:: 33
Issue:: 2023
Issue Sort Value:: 2023-0033-2023-0000
Page Start:
Page End:
Publication Date:: 2023-03-06
Subjects:: Functional programming (Computer science) -- Periodicals
Journal URLs:: http://journals.cambridge.org/action/displayJournal?jid=JFP ↗
http://firstsearch.oclc.org ↗
DOI:: 10.1017/S0956796823000011 ↗
Languages:: English
ISSNs:: 0956-7968
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library STI - ELD Digital store
Ingest File:: 26056.xml