Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science (1158), Band 1158)
von:
Stefano Berardi
·
Mario Coppo
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-61780-8
ISBN-10: 3-540-61780-9
Springer
· 2008