Author:Vlad Rusu

Publications
EasyChair Preprint no. 8442

Keyphrases

coinductive type, Coq, corecursive function, fixpoint.