Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
Compilers
Database
Hardware
DS & Algorithms
OS
Network
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

CS -> Theory



Book Title : Computational Category Theory
eBook download format(s) : htm pdf ps 
Section : CS -> Theory
Book Review:

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

The original motivation for embarking on the exercise of programming categorical constructions was a desire to get a better grip on categorical ideas, making use of a programmer's intuition. The abstractness of category theory makes it difficult for many computer scientists to master it; writing code seemed a good way to bring it down to earth. Someone with a computing background who wishes to learn category theory should have recourse to standard texts, some of which are listed later, but could well find this book a helpful companion text. Mathematicians who have learned a little programming, perhaps in conventional languages like Pascal, may profit from seeing how the functional programming style can embody abstract mathematics and do it in a way not too far from mathematical notation.

Intended Audience
This book should be helpful to computer scientists wishing to understand the computational significance of theorems in category theory and the constructions carried out in their proofs. Specialists in programming languages should be interested in the use of a functional programming language in this novel domain of application, particularly in the way in which the structure of programs is inherited from that of the mathematics. It should also be of interest to mathematicians familiar with category theory - they may not be aware of the computational significance of the constructions arising in categorical proofs.




add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and try these 3 + 1 alternates...
  
       Find 


Tell a Friend!

Similar Book titles in CS -> Theory section:
A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION
Graph Theory
An Introduction to the Theory of Computation (Principles of Computer Science Series)
Type Theory and Functional Programming
Information Theory, Inference and Learning Algorithms
Categories, Types And Structures - An Introduction to Category Theory for The Working Computer Scientist
Computational Semantics and Type Theory
Queueing Theory
Parallel Complexity Theory
Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition)
Algorithmic Information Theory, Third Printing
A Short Introduction to Queueing Theory
Introduction to Computational Complexity
Notes on Coding Theory
Global Optimization Algorithms - Theory and Application


Similar Book titles in Other sections:

Section: Bio-Chemistry
Computational Molecular Biology: An Introduction


Section: CS -> Compilers and Languages
Programming in Martin-Lof's Type Theory
Theory of Codes


Section: Data Structures and Algorithms
Computational Geometry: Methods and Applications


Section: DB -> Datawarehousing
Algorithmic Information Theory


Section: DB -> Others
The Theory of Relational Databases


Section: Life & Health
The Filipino Fighting / Martial Arts: Theory and Practice


Section: Mathematics
Introduction to Group Theory
Graph Theory Lessons
A Computational Introduction to Number Theory and Algebra
An Introduction to the Theory of Numbers
Unsolved Problems in Mathematical Systems and Control Theory
Show all..


Section: Miscellaneous
Computational Complexity: A Modern Approach
Computational Complexity: A Conceptual Perspective
Circuit Analysis: Theory & Practice
Digraphs Theory, Algorithms and Applications


Section: Networking
Fundamentals of Switching Theory and Logic Design: A Hands on Approach


Section: Other Engineering
Spheroidal Wave Functions in Electromagnetic Theory (Wiley Series in Microwave and Optical Engineering)


Section: C++ Language


Section: Other Programming
Computational Linguistics - Models, Resources, Applications
A Practical Theory of Programming, Second Edition


Section: Redbooks Draft
Microservices: From Theory to Practice Creating Applications in Bluemix Using the Microservices Approach
Microservices: From Theory to Practice. Creating Applications in Bluemix Using the Microservices Approach


Section: Redbooks
Microservices from Theory to Practice: Creating Applications in IBM Bluemix Using the Microservices Approach


Section: Travel and Routes
The Global Nomad: Backpacker Travel in Theory and Practice


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions