Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

By: T. Streicher (author)Hardback

Up to 2 WeeksUsually despatched within 2 weeks

Description

An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions. The application of constructive mathematics to the problem of defining functional computer programming languages should interest mathematicia

Product Details

  • ISBN13: 9780817635947
  • Format: Hardback
  • Number Of Pages: 312
  • ID: 9780817635947
  • ISBN10: 0817635947

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close