Towards Corecursion Without Corecursion in Coq

EasyChair Preprint 8442, version history

Version	Date	Pages	Version notes
1	July 10, 2022	11
2	August 15, 2022	22	All pending results in the previous version are proved.

Keyphrases: Coq, coinductive type, corecursive function, fixpoint

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:8442,
  author    = {Vlad Rusu and David Nowak},
  title     = {Towards Corecursion Without Corecursion in Coq},
  howpublished = {EasyChair Preprint 8442},
  year      = {EasyChair, 2022}}