| Benjamin C. Pierce - Computers - 2005 - 574 pages
A thorough and accessible introduction to a range of key ideas in type systems for programming language. | |
| Naoki Kobayashi, Benjamin C. Pierce - Computers - 2003 - 565 pages
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan ... | |
| Tom Leinster - Mathematics - 2014
At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic ... | |
| Steve Awodey - Mathematics - 2010 - 328 pages
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and ... | |
| |