Correctness and Completeness (Progress in Theoretical Computer Science)
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
T. Streicher
Publisher
Birkhäuser Boston
ISBN / ASIN
B000PC136S
ISBN-13
978B000PC1368
Marketplace
France 🇫🇷
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
