Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
David Nowak
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-2024 easychair.org. All rights reserved.
