1.Simply Typed Lambda-Calculus Modulo Type Isomorphisms Alejandro Díaz-Caro Université Paris-Ouest INRIA Paris - Rocquencourt Gilles Dowek INRIA Paris - Rocquencourt TYPES…