Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Full Title: | Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956) |
---|---|
ISBN: | 3540415173 |
ISBN13: | 9783540415176 |
List Price: | USD $99.00 |