Correctness and Completeness (Progress in Theoretical Computer Science)

Name: Correctness and Completeness (Progress in Theoretical Computer Science)
Author: T. Streicher
ISBN: 978B000PC1368

Author T. Streicher

Publisher BirkhÃ¤user Boston

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

⌛ 🇫🇷 France pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇺🇸 USA

Book Details

Author(s)T. Streicher

PublisherBirkhÃ¤user Boston

ISBN / ASINB000PC136S

ISBN-13978B000PC1368

MarketplaceFrance 🇫🇷

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