Categories for types
By: Roy L. Crole.
Series: Cambridge mathematical textbooks
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 335
Subjects: Categories (Mathematics); Lambda calculus.
Notes: Includes bibliographical references (p. 315-319) and index.