Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science - T. Streicher - Books - Springer-Verlag New York Inc. - 9781461267577 - October 29, 2012
In case cover and title do not match, the title is correct

T. Streicher
Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science Softcover reprint of the original 1st ed. 1991 edition

Price
HK$ 881
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 31 - Sep 10
Get notified about new T. Streicher releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

299 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 29, 2012
ISBN13 9781461267577
Publishers Springer-Verlag New York Inc.
Pages 299
Dimensions 156 × 234 × 17 mm   ·   444 g
Language English  

More from the same publisher

See all of T. Streicher ( e.g. Paperback Book )