Types for Proofs and Programs

Types for Proofs and Programs

EnglishEbook
Springer Berlin Heidelberg
EAN: 9783540458425
Available online
€69.46
Common price €77.18
Discount 10%
pc
EAN 9783540458425
ISBN 3540458425
Binding Ebook
Publisher Springer Berlin Heidelberg
Publication date August 3, 2003
Language English
Country Germany
Editors Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert
Series Lecture Notes in Computer Science