ISBN 3540415173 books & textbook
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Coquand, Thierry Dybjer, Peter Nordström, Bengt Smith, Jan
Springer /2000-12-13 Paperback / 212 Pages
isbn-10: 3540415173 / isbn-13: 9783540415176
