Person. Roberto Di Cosmo Inria · dicosmo.org · 0000-0002-7493-5349 PhD studentsVincent Balat Papers Remarks on isomorphisms in typed lambda calculi with empty and sum types fiore-2006-remarksAPAL · 2006 DOI