Person. Vincent Balat Université Paris Diderot · irif.fr/~balat PhD advisorRoberto Di Cosmo PhDUniversité Paris Diderot Papers Remarks on isomorphisms in typed lambda calculi with empty and sum types fiore-2006-remarksAPAL · 2006 DOI