Mendler-style inductive types, categorically (1999)

by T Uustalu, V Vene
Venue:Nordic J. Comput