Isomorphisms of Types: from λ-calculus to information retrieval and language design. Birkhäuser (1995)

by R Di Cosmo