This is a presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and...
More about this book >>
This text provides an introduction to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and...
More about this book >>