Overview
The book, Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3839) [Bulk, Wholesale, Quantity] ISBN#9783540314288 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details