Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types.

Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat

Browse the full LICS paper archive.