Preface to the special issue: isomorphisms of types and invertibility of lambda terms.

Ralph Matthes Sergei Soloviev Preface to the special issue: isomorphisms of types and invertibility of lambda terms. 645-646 2008 18 Mathematical Structures in Computer Science 4 http://dx.doi.org/10.1017/S0960129508006798 db/journals/mscs/mscs18.html#MatthesS08