Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Desig (1995)

by R Di Cosmo
Venue:Birkhauser