(Paperback)
By: Benjamin C. Pierce
ISBN: 9780262660716
Readership/Audience: Professional and Scholarly
Publication Date: Aug 1991
Publisher: MIT Press Ltd
See more...
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.
(Paperback)
By: Glynn Winskel
ISBN: 9780262731034
Readership/Audience: Tertiary Education
Publication Date: Feb 1993
Publisher: MIT Press Ltd
See more...
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages.
