Remarks on isomorphisms in typed lambda calculi with empty and sum types (2002)

by R Di Cosmo, V Balat
Venue:In LICS’02