[Prev][Next][Index][Thread]
book announcement: Categorical Logic and Type Theory
-
To: categories@mta.ca, lics@research.bell-labs.com, types@cis.upenn.edu, types@cs.indiana.edu, concurrency@cwi.nl, amast@cs.utwente.nl, eatcs-it@cs.unibo.it, logic@theory.lcs.mit.edu, logic@cs.cornell.edu, logic-ml@logic.jaist.ac.jp, logic@cs.stanford.edu, nvti-list@cwi.nl
-
Subject: book announcement: Categorical Logic and Type Theory
-
From: Bart Jacobs <Bart.Jacobs@cs.kun.nl>
-
Date: Tue, 16 Feb 1999 14:05:14 +0100
-
cc: Bart.Jacobs@cs.kun.nl
B. Jacobs, Categorical Logic and Type Theory,
Studies in Logic and the Foundations of Mathematics 141,
North Holland, Elsevier, 1999. ISBN 0-444-50170-3
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.
It contains the following chapters.
Prospectus
Introduction to fibred category theory
Simple type theory
Equational Logic
First order predicate logic
Higher order predicate logic
The effective topos
Internal category theory
Polymorphic type theory
Advanced fibred category theory
First order dependent type theory
Higher order dependent type theory
References
Notation index
Subject index
More information can be obtained from the authors webpage:
http://www.cs.kun.nl/~bart/CLT/bookinfo.html
or directly from the publisher:
http://www.elsevier.nl/inca/publications/store/6/0/1/5/3/9/
The book is also available via Amazon:
http://www.amazon.com/exec/obidos/ASIN/0444501703/qid%3D918567572/002-7707218-
2880044
To get an impression, you can preview the Prospectus from
the authors webpage.
Bart Jacobs,
Dep. Comp. Sci.,
Univ. Nijmegen,
P.O. Box 9010,
6500 GL Nijmegen,
The Netherlands.
Email: bart@cs.kun.nl
PS. Please pass this information on to your institute's librarian.
[With apologies for multiple copies]