Logo

Computational Category Theory

Computational Category Theory
by


Number of pages: 263

Description:
This book is an account of a project in which basic constructions of category theory are expressed as computer programs. The programs are written in a functional programming language, called ML, and have been executed on examples. The authors have used these programs to develop algorithms for the unification of terms and to implement a categorical semantics. In general, this book is a bridge-building exercise between category theory and computer programming. These efforts are a first attempt at connecting the abstract mathematics with concrete programs, whereas others have applied categorical ideas to the theory of computation.

Home page url

Download or read it online for free here:
Download link
(0.9MB, PDF)

Similar books

Book cover: A Practical Theory of ProgrammingA Practical Theory of Programming
by - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(9577 views)
Book cover: Categories, Types, and StructuresCategories, Types, and Structures
by - MIT Press
Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.
(13127 views)
Book cover: Topics in History and Comparing Programming LanguagesTopics in History and Comparing Programming Languages
by - Gavilan College
This website contains files on the history of computer programming language statements. The files compare programming language statements in several different languages tracing the statement from early languages to present languages.
(2956 views)
Book cover: Understanding Programming LanguagesUnderstanding Programming Languages
by - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(11826 views)