Isomorphisms of types : from [lambda]-calculus to information retrieval and language design /

Bibliographic Details

Main Author:	Di Cosmo, Roberto, 1963-
Format:	Book
Language:	English
Published:	Boston : Birkhäuser, 1995.
Series:	Progress in theoretical computer science.
Subjects:	Programming languages (Electronic computers) Type theory. Human-computer interaction.