Franklin

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

Author/Creator:
Di Cosmo, Roberto, 1963-
Publication:
Boston : Birkhàˆuser, c1995.
Format/Description:
Book
viii, 235 p. : ill. ; 25 cm.
Series:
Progress in theoretical computer science
Progress in theoretical computer science
Status/Location:
Loading...

Get It

Details

Subjects:
Programming languages (Electronic computers).
Type theory.
Human-computer interaction.
Notes:
Includes bibliographical references (p. [215]-226) and indexes.
ISBN:
081763763X (acid-free)
OCLC:
31166597