Unmissable Books Coming this Autumn
  1. Home
  2. Books
  3. Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
  4. Write Review
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

"Paperback Edition" | 28th April 2003

Back to Book Page

Yay - we can't wait to read your review!


To add a review please Login or Register here:

Toppsta
Copyright © 2015 Toppsta. All rights reserved
Get our newsletter