(Paperback)
By: Benjamin C. Pierce
ISBN: 9780262552677
Readership/Audience: Professional and Scholarly
Publication Date: Jul 2024
Publisher: MIT Press Ltd
See more...
(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.
(Hardback)
By: Benjamin C. Pierce
ISBN: 9780262162098
Readership/Audience: Tertiary Education
Publication Date: Apr 2002
Publisher: MIT Press Ltd
See more...
A comprehensive introduction to type systems and programming languages.
(Hardback)
By: Benjamin C. Pierce
ISBN: 9780262162289
Readership/Audience: Professional and Scholarly
Publication Date: Dec 2004
Publisher: MIT Press Ltd
See more...
A thorough and accessible introduction to a range of key ideas in type systems for programming language.
