Kalpa Publications

Author:David Nowak

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-2024 easychair.org. All rights reserved.