Types for Proofs and Programs > Editions

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

Published October 1st 2007 by Springer

2007, Paperback, 280 pages

more details

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science Book 4502)

Published September 13th 2007 by Springer

Kindle Edition

more details