Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers (Lecture Notes in Computer Science (1956), Band 1956)

Nordstroem

von: Thierry Coquand · Peter Dybjer · Jan Smith · Bengt Nordström

Taschenbuch

Details (Deutschland)

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

ISBN-10: 3-540-41517-3

Springer · 2009