Error title
Some error text about your books and stuff.
Close

Computation and Reasoning a Type Theory for Computer Science

by Zhaohui Luo

  • ISBN: 9780198538356
  • ISBN10: 0198538359

Computation and Reasoning a Type Theory for Computer Science

by Zhaohui Luo

  • List Price: $88.00
  • Binding: Hardcover
  • Publisher: Oxford Univ Pr on Demand
  • Publish date: 05/01/1994
  • ISBN: 9780198538356
  • ISBN10: 0198538359
new Add to Cart $80.39
You save: 9%
FREE economy shipping!
Description: PrefaceIntroduction1. The extended calculus of constructions2. Basic meta-theoretic properties3. Strong normalisation4. The internal logic and decidability5. A set-theoretic model6. Computational and logical theories7. Specification and development of programs8. Towards a unifying theory of dependent typesBibliographyNotation and symbolsIndex
Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Houston,, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$66.87
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).