Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science (2277), Band 2277)

Callaghan

von: Robert Pollack · Paul Callaghan · James McKinna · Zhaohui Luo

Taschenbuch

ISBN-13: 978-3-540-43287-6

ISBN-10: 3-540-43287-6

Springer · 2008