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)

Netherlands

von: Herman Geuvers · Freek Wiedijk

Taschenbuch

EAN=ISBN-13: 978-3-540-14031-3

ISBN-10: 3-540-14031-X

Springer · 2008