Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)
Full Title: | Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277) |
---|---|
ISBN: | 3540432876 |
ISBN13: | 9783540432876 |
List Price: | USD $57.95 |