Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

By Stefano Berardi

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540617809
• ISBN13: 9783540617808
• Release Date: October 1996
• Publisher: Springer
• Length: 298 Pages
• Weight: 0.97 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"