Keyword:fixpoint

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