| 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 - 2001 - 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 ... | |
| Steve Awodey - Mathematics - 2006 - 256 pages
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer ... | |
| |