Kalpa Publications

Author:Vlad Rusu

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

Keyphrases

coinductive type, Coq, corecursive function, fixpoint.

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