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.

Description
Physical Description:	viii, 235 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references (pages [215]-226) and indexes.
ISBN:	081763763X (acid-free paper) 376433763X (acid-free paper)