Co-)iteration for higher-order nested datatypes, in H. Geuvers, F. Wiedijk (Eds.), Selected Papers from 2nd Int. Wksh (2003)

by A Abel, R Matthes
Venue:on Types for Proofs and Programs, TYPES 2002 (Berg en Dal, The Netherlands, 24–28 Apr. 2002