Posted by **tanas.olesya** at Nov. 16, 2015

English | 30 Sept. 1991 | ISBN: 0262660717 | 110 Pages | PDF | 8 MB

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.

Posted by **DZ123** at Aug. 31, 2013

English | 1991 | ISBN: 0262660717 | PDF | 110 pages | 8,3 mb

Posted by **lengen** at Jan. 25, 2017

English | Aug. 23, 1991 | ISBN: 0262011255 | 300 Pages | PDF | 2 MB

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 programmes 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.

Posted by **ksveta6** at Jan. 9, 2015

2014 | ISBN: 0262028131 | English | 496 pages | PDF | 7 MB

Posted by **chantinhsv** at Dec. 2, 2008

Massachusetts Institute of Technology | ISBN: 0262660717 | 1991 | 114 pages | DJV | 5.5 MB

Posted by **roxul** at Nov. 26, 2014

English | 2014 | ISBN-10: 1107044243 | 190 pages | PDF | 1 MB

Posted by **arundhati** at Nov. 23, 2014

Posted by **AvaxGenius** at May 3, 2018

English | PDF | 2009 | 316 Pages | ISBN : 1402093837 | 3.65 MB

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein’s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane’s work in the early 1940’s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics.

Posted by **AvaxGenius** at May 21, 2018

English | PDF | 2009 | 316 Pages | ISBN : 1402093837 | 3.65 MB

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein’s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane’s work in the early 1940’s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics.

Posted by **AvaxGenius** at May 19, 2018

English | PDF,EPUB | 2011 | 419 Pages | ISBN : 0857294482 | 10.88 MB

HTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in an online environment.

This easy-to-read, informative guide/reference will enable readers to quickly develop a working knowledge of HTML, JavaScript and PHP – a valuable skill for any scientist or engineer. Updating and expanding upon the author’s previous Springer titles, An Introduction to HTML and JavaScript and An Introduction to PHP, the text emphasizes a hands-on approach to learning and makes extensive use of examples throughout the book. A detailed science, engineering, or mathematics background is not required to understand the material, making the book ideally suitable for self-study or an introductory course in programming.