Benjamin C. Pierce Books
Types and Programming Languages
A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying progr...
Read More
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformati...
Read More
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformati...
Read More