Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 84 citing Introduction to Higher-Order Categorical Logic.

Basic Category Theory for Computer Scientists

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 ...
Limited preview - About this book

Categories and Computer Science

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 ...
Limited preview - About this book

Isomorphisms of Types: From Lambda-calculus to Information Retrieval and ...

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 ...
Limited preview - About this book

A Primer of Infinitesimal Analysis

John L. Bell - Mathematics - 2008 - 124 pages
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.
Limited preview - About this book

Categories for Software Engineering

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 ...
Limited preview - About this book

Network Algebra

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 ...
Limited preview - About this book

Logic for Learning: Learning Comprehensible Theories from Structured Data

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 ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search