@article{fiore-2006-remarks, title={Remarks on isomorphisms in typed lambda calculi with empty and sum types}, volume={141}, ISSN={0168-0072}, url={http://dx.doi.org/10.1016/j.apal.2005.09.001}, DOI={10.1016/j.apal.2005.09.001}, number={1-2}, journal={Annals of Pure and Applied Logic}, publisher={Elsevier BV}, author={Fiore, Marcelo and Di Cosmo, Roberto and Balat, Vincent}, year={2006}, month=Aug, pages={35–50} }