Types for Proofs and Programs

Know about the book -

Types for Proofs and Programs is written by Thierry Coquand and published by Springer. It's available with International Standard Book Number or ISBN identification 3540445579 (ISBN 10) and 9783540445579 (ISBN 13).

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.