Stock image for illustration purposes only - book cover, edition or condition may vary.
Semantics of Type Theory
Thomas Streicher
€ 113.60
FREE Delivery in Ireland
Description for Semantics of Type Theory
Paperback. Series: Progress in Theoretical Computer Science. Num Pages: 299 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 482.
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By translating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con structive proof allows us to extract a program from a proof of this proposition. Thus by the "proposition-as-types" paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct ... Read more
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By translating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con structive proof allows us to extract a program from a proof of this proposition. Thus by the "proposition-as-types" paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
299
Condition
New
Series
Progress in Theoretical Computer Science
Number of Pages
299
Place of Publication
New York, United States
ISBN
9781461267577
SKU
V9781461267577
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Semantics of Type Theory