The Recursion Scheme from the Cofree Recursive Comonad

by Tarmo Uustalu , Varmo Vene
Citations:2 - 1 self