English
Deutsch
Français
简体中文
繁體中文
Categories
Study
Novel
Nonfiction
-- Encyclopedias
-- Psychology
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Nonfiction Advanced Fluid Dynamics by Hyoung Woo Oh
Nonfiction Consolation of Philosophy by Boethius
Nonfiction Overview of Bohmian Mechanics
Nonfiction Digital Systems Design by Ramaswamy Palaniappan
Nonfiction Modern Geography by Marion I. Newbigin
Encyclopedias Encyclopedia of Microfluidics and Nanofluidics [Repost]
Encyclopedias Encyclopedia of Complexity and Systems Science [Repost]
Encyclopedias The Encyclopedia of Applied Animal Behaviour and Welfare
Encyclopedias Space - A Visual Encyclopedia
Abnormal Psychology - An Integrative Approach, 6th Edition
Advanced Social Psychology - The State of the Science
Nonfiction Lectures on Stochastic Control and Nonlinear Filtering
Nonfiction Physics by Cope, Smith, Tower, Turton
Encyclopedias Encyclopedia of Knowledge Management, Second Edition
Encyclopedias Encyclopedia of India (4 Volume Set) [Repost]
Encyclopedias The MMA Encyclopedia (repost)
Nonfiction An Introduction to Nonlinearity in Control Systems
Encyclopedias Skew Fields - Theory of General Division Rings (Encyclopedia of Mathematics and its Applications) by P. M. Cohn
Encyclopedias Books and Beyond - The Greenwood Encyclopedia of New American Reading
Useful Links
Nonfiction Computational Category Theory
Posted on 2010-04-05
|
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.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link 1 | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Study Category Theory (Oxford Logic Guides) Category Theory (Oxford Logic Guides)Oxford University Press, USA (2006-07-03) | ISBN: 0198568614 | 272 Pages | 1 MB | PDFSeveral years ago I came across an on-line .pdf format of Awodey's manuscript while trying to find a text on Category ... |
 | Study Basic Category Theory for Computer Scientists Benjamin C. Pierce, "Basic Category Theory for Computer Scientists"Massachusetts Institute of Technology | ISBN: 0262660717 | 1991 | 114 pages | DJV | 5.5 MBTheoretical computer science has now undergone several decades of development. The ... |
 | Science/Engineering From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory Publisher: Springer | Pages: 320 | 2009-02-01 | ISBN 1402093837 | PDF | 3 MBFrom a Geometrical Point of View explores historical and philosop ... |
 | Science/Engineering Category Theory at Work H. Herrlich and H.-E. Porst “Category Theory at Work" Heldermann Verlag | 1991 | ISBN: 3885382180 | 395 pages | Djvu | 4,41 MB The purpose of this book is to serve as a text for a seminar in applied Category Theory. The treatise contai ... |
 | Science/Engineering Steve Awodey - Category Theory (Repost) Steve Awodey - Category TheoryOxford University Press | 2006 | ISBN: 0198568614 | Pages: 272 | PDF | 5.21 MBThis text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but als ... |
 | Nonfiction Basic Concepts of Enriched Category Theory Although numerous contributions from divers authors have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it. The present book is designed to supply t ... |
Comments (0)
