Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design. Birkhauser (1995)

by Roberto Di Cosmo