HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Vlad Rusu

Publications
Towards Corecursion Without Corecursion in Coq
Vlad Rusu and David Nowak
EasyChair Preprint 8442
Towards Corecursion Without Corecursion in Coq
Vlad Rusu and David Nowak
EasyChair Preprint 8442

Keyphrases

coinductive type, Coq, corecursive function, fixpoint.

Copyright © 2012-2025 easychair.org. All rights reserved.