Types for Proofs and Programs
International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
We couldn't estimate the reading time for this book.
Publication
2003 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540445579
- ISBN-103540445579
- Better World Books9783540445579
- Open LibraryOL37150114M
Classifications
- LCCQA76.76.C65
Subjects
Other Editions
- Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!