@BOOK{DiCosmo95a,
        AUTHOR = {Di Cosmo, Roberto},
        TITLE = {Isomorphisms of types: from $\lambda$-calculus to  information retrieval and language design},
	SERIES = {Progress in Theoretical Computer Science},
        PUBLISHER = {Birkhauser},
        YEAR = {1995},
        NOTE = {ISBN-0-8176-3763-X}
}