|
This book gives a survey of categorical logic and type theory starting from the unifying concept of a fibration. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. To get an impression, the prospectus from the book is made available.
Quite theoretical, and in depth (see the ToC on the web page) - but this stuff is important. A very warm review can be read here.
A sepcial 25% discount offer, available until July 31, was offered on various mailing lists. It may be worthwhile looking for it, since the book is expensive.
Posted to theory by Ehud Lamm on 6/14/01; 1:36:45 PM
|
|
Categorical Logic and Type Theory
