Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Thorsten Altenkirch (u. a.)

ISBN 10: 3540744630 / ISBN 13: 9783540744634

Published by Springer, 2007

About this Item

Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers | Thorsten Altenkirch (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540744634 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 101980086

Bibliographic Details

• Title: Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
• Publisher: Springer
• Publication Date: 2007
• Language: English
• ISBN 10: 3540744630
• ISBN 13: 9783540744634
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 15W x 155H x 235D millimeters 15 millimeters width by 155 millimeters height by 235 millimeters depth
• Weight: 408 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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 and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.