Isomorphisms of types: from lambda-calculus to information retrieval and language design. Birkhauser (1995)

by R D Cosmo