Isomorphisms of types
Subtitle: from [lambda]-calculus to information retrieval and language design
By: Roberto Di Cosmo.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1995
Place of publication: Boston
Language: eng
Number of pages: 235
Subjects: Programming languages (Electronic computers); Type theory.; Human-computer interaction.
Notes: Includes bibliographical references (p. [215]-226) and indexes.