[TYPES/announce] New book: Lectures on the Curry-Howard Isomorphism

[Pawel Urzyczyn]

=======================
LECTURES ON THE CURRY-HOWARD ISOMORPHISM
Studies in Logic and the Foundations of Mathematics, 149
by Morten Heine Sørensen, Pawel Urzyczyn
ISBN: 0-444-52077-5, 456 pages

This is an entirely rewritten book version of the 
DIKU lecture notes published online in 1998. The 
book gives an intruduction to various topics 
related to the formulas-as-types analogy, in 
particular: 
- Type-free and simply-typed lambda-calculus
- Intuitionistic logic
- Combinatory logic
- Classical logic and control operators
- Sequent calculus 
- Dialogue games
- Intuitionistic arithmetic and Godel's system T
- Second-order logic and polymorphism
- Dependent types and pure type systems.
The book contains a large number of exercises, many
of these accompanied with extensive hints and solutions.
========================