Home ›Springer ›Types for Proofs and Programs (English, Stefano Berardi | Mario Coppo | Ferruccio Damiani)
Springer
Types for Proofs and Programs (English, Stefano Berardi | Mario Coppo | Ferruccio Damiani)
₹5,586
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The ?nal choices were made by the edi…
ISBN: 9783540221647
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540221647 |
| ISBN-10 | 3540221646 |
| Author | Stefano Berardi | Mario Coppo | Ferruccio Damiani |
