Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science (2646), Band 2646)

von: Herman Geuvers · Freek Wiedijk Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-14031-3 ISBN-10: 3-540-14031-X Springer · 2008