Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science (1657), Band 1657)
von:
Thorsten Altenkirch
· Wolfgang Naraschewski ·
Bernhard Reus
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-66537-3
ISBN-10: 3-540-66537-4
Springer
· 2008