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 ..., Volume 4

Naoki Kobayashi, Benjamin C. Pierce - Computers - 2001 - 559 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

Basic Category Theory

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

Category Theory

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




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