Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: Revised Selected ... 2003 (Lecture Notes in Computer Science)

von: Stefano Berardi · Mario Coppo Springer Berlin Heidelberg · 2004 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN: 978-3-540-22164-7 ISBN-10: 3-540-22164-6