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

von: Stefano Berardi · Ferruccio Damiani · Mario Coppo Taschenbuch Details (Deutschland) ISBN: 978-3-540-22164-7 ISBN-10: 3-540-22164-6 Springer · 2008