Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat. Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. pages 147, IEEE Computer Society, 2002. [doi]
Abstract is missing.