Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Basic Category Theory for Computer Scientists.   

Types and Programming Languages

Benjamin C. Pierce - Computers - 2002 - 623 pages
A comprehensive introduction to type systems and programming languages.
Limited preview - About this book

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce - Computers - 2005 - 574 pages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.
Limited preview - About this book

Theoretical Aspects of Computer Software: 4th International Symposium, TACS ...

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 ...
Limited preview - About this book

Location-independent Communication for Mobile Agents: A Two-level Architecture

Peter Sewell, Paweł Tomasz Wojciechowski, Benjamin C. Pierce - Mobile agents (Computer software) - 1999 - 31 pages
Abstract: "We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent ...
Snippet view - About this book

Category Theory

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 ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search