Basic Category Theory for Computer Scientists

Theory of Categories . Academic Press , 1965 . [ 76 ] John C. Mitchell . Type systems for programming languages . Technical Report STAN - CS - 89-1277 , Department of Computer Science , Stanford University , July 1989.

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Contents Tutorial • Applications • Further Reading

More Books:

Category Theory and Computer Science
Language: en
Pages: 319
Authors: Eugenio Moggi, Giuseppe Rosolini
Categories: Computers
Type: BOOK - Published: 1997-08-20 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science
Basic Category Theory for Computer Scientists
Language: en
Pages: 116
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in
Category Theory and Computer Programming
Language: en
Pages:
Authors: Benjamin C. Pierce
Categories: Categories (Mathematics)
Type: BOOK - Published: 1985 - Publisher:

Books about Category Theory and Computer Programming
Semantics of Programming Languages
Language: en
Pages: 419
Authors: Carl A. Gunter
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: MIT Press

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will
Computer Science Logic
Language: en
Pages: 553
Authors: Leszek Pacholski, Jerzy Tiuryn
Categories: Computers
Type: BOOK - Published: 1995-07-18 - Publisher: Springer Science & Business Media

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science