Iteration schemes for higher-order and nested datatypes, Theoretical Computer Science 333 (2005)

by A Abel, R Matthes, T Uustalu
Venue:Theor. Comput. Sci