Keyword:fixpoint

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