Take a photo of a barcode or cover
Read With Others
Book Information
268 pages • paperback • 7 editions
ISBN/UID: 9783540744634
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Oct 2007
Description
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages an...
Community Reviews
Content Warnings
268 pages • paperback
ISBN/UID: 9783540744634
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Oct 2007
Description
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages an...
Community Reviews
Content Warnings