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)
von:
Robert Pollack
·
Paul Callaghan
· James McKinna ·
Zhaohui Luo
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-43287-6
ISBN-10: 3-540-43287-6
Springer
· 2008