Categories: E-Books & Audio Books
![Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science (2277))](https://www.gfxtra31.com/uploads/posts/2020-11/16063535425fbf0286cda6f.jpg)
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science (2277))
256 pages | English | ISBN-10: 3540432876 | ISBN-13: 978-3540432876
TO MAC USERS: If RAR password doesn't work, use this archive program:
RAR Expander 0.8.5 Beta 4 and extract password protected files without error.
TO WIN USERS: If RAR password doesn't work, use this archive program:
Latest Winrar and extract password protected files without error.
![](/templates/uslu/images/user.png)
Related Posts