ENGLISH

Categories, types, and structures. Introduction to category theory for computer scientists

By Andrea Asperti , Giuseppe Longo

Book information

Publisher
The MIT Press
Year
1991
ISBN
9780262011259, 9780262121453, 026212145X, 0262011255
LCC
QA76.7 .A76 1991
Open Library ID
OL10237280M
Language
english
Format
PDF
Filesize
2 MB (2523543 bytes)
Series
Foundations of Computing Series
Pages
295\295
Topic
Mathematics Algebra
Library
Kolxo3
Time added
2009-07-20 03:45:11

Description

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programs using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.

Similar books