Types for Proofs and Programs
International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Published in May 2008
Book
Paperback/Softback
202 pages
978-3-540-68103-8 (ISBN)
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Target group
Professional and scholarly
ISBN-13
978-3-540-68103-8 (9783540681038)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification