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

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