Kalpa Publications

Author:Vlad Rusu

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

Keyphrases

coinductive type, Coq, corecursive function, fixpoint.

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