Recursive types reduced to induct,ive types (1990)

by P Freyd
Venue:In Fifth Annual IEEE Symposium on Logic in Computer Science