Isomorphisms of types: from *-calculus to in-formation retrieval and language design. Birkhauser (1995)

by R Di Cosmo