Types for Proofs and Programs: Inteational Workshop,

Types for Proofs and Programs: Inteational Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 272 pages

Publisher: Springer (October 1, 2007)

Language: English

ISBN-10: 3540744630