Recursive Types Reduced to Inductive Types (1990)

by P Freyd
Venue:In Proc. of LICS