Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 21 citing 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

Categories for Types

Roy L. Crole - Computers - 1993 - 335 pages
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the ...
Limited preview - About this book

The Haskell School of Expression: Learning Functional Programming Through ...

Paul Hudak - Computers - 2000 - 363 pages
This book, first published in 2000, teaches functional programming using Haskell and examples drawn from multimedia applications.
Limited preview - About this book

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Guy McCusker - Computers - 1998 - 189 pages
The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the ...
Limited preview - About this book

Sets, Logic and Categories

Peter J. Cameron - Mathematics - 1999 - 180 pages
Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together ...
Limited preview - About this book

Automated Practical Reasoning: Algebraic Approaches

Jochen Pfalzgraf, Dongming Wang - Algebra - 1995 - 223 pages
This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the ...
Limited preview - About this book

A First Course in Geometric Topology and Differential Geometry

Ethan D. Bloch - Mathematics - 1997 - 421 pages
The uniqueness of this text in combining geometric topology and differential geometry lies in its unifying thread: the notion of a surface. With numerous illustrations ...
Limited preview - About this book

Oppositional Concepts in Computational Intelligence

Hamid R. Tizhoosh, M. Ventresca - Computers - 2008 - 328 pages
Opposition permeates nature, but because of a lack of accepted mathematical formalism, the field is rarely studied outside of philosophy and logic. This book is the first ever ...
Limited preview - About this book

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