Semantics of Type Theory: Correctness, Completeness and Independence Results
Author:   T. Streicher
Publisher:   Birkhauser Boston Inc
ISBN:  

9780817635947


Pages:   312
Publication Date:   01 December 1991
Format:   Hardback
Availability:   Awaiting stock   Availability explained


Our Price $409.20 Quantity:  
Add to Cart

Share |

Semantics of Type Theory: Correctness, Completeness and Independence Results


Overview

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

Full Product Details

Author:   T. Streicher
Publisher:   Birkhauser Boston Inc
Imprint:   Birkhauser Boston Inc
ISBN:  

9780817635947


ISBN 10:   0817635947
Pages:   312
Publication Date:   01 December 1991
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Out of Print
Availability:   Awaiting stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now