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

CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object ...

Răzvan Diaconescu, Kokichi Futatsugi - Computers - 1998 - 174 pages
This is a report on the formal definition of the CafeOBJ algebraic specification language, which is a modern successor to the famous algebraic language OBJ. While the ...
Limited preview - About this book

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

Paul Hudak - Computers - 2000 - 363 pages
This book 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
This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since 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

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