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

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases