Towards Corecursion Without Corecursion in Coq

EasyChair Preprint no. 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: coinductive type, Coq, 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 no. 8442},

  year = {EasyChair, 2022}}