| Benjamin C. Pierce - Computers - 1991 - 100 pages
Basic Category Theory for Computer Scientists provides a straightforward presentationof the basic constructions and terminology of category theory, including limits, functors ... | |
| R. F. C. Walters - Computers - 1991 - 166 pages
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the ... | |
| Roberto Di Cosmo - Computers - 1995 - 235 pages
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information ... | |
| John L. Bell - Mathematics - 2008 - 124 pages
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal. | |
| Jose Luiz Fiadeiro - Computers - 2005 - 250 pages
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of ... | |
| Gheorghe Stefanescu - Computers - 2000 - 400 pages
"The term 'network' is used in a broad sense within this book, as consisting of a collection of interconnecting cells, and two radically different specific interpretations of ... | |
| John W. Lloyd - Computers - 2003 - 256 pages
This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates ... | |
| |