Keyword:coinductive type

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