Semantics of Type Theory: Correctness, Completeness and Independence Results

Semantics of Type Theory: Correctness, Completeness and Independence Results

by T. Streicher

Paperback(Softcover reprint of the original 1st ed. 1991)

$99.99
View All Available Formats & Editions
Choose Expedited Shipping at checkout for guaranteed delivery by Friday, March 22

Product Details

ISBN-13: 9781461267577
Publisher: Birkh�user Boston
Publication date: 10/29/2012
Series: Progress in Theoretical Computer Science
Edition description: Softcover reprint of the original 1st ed. 1991
Pages: 299
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

1 Contextual Categories and Categorical Semantics of Dependent Types.- 2 Models for the Calculus of Constructions and Its Extensions.- 3 Correctness of the Interpretation of the Calculus of Constructions in Doctrines of Constructions.- 4 The Term Model of the Calculus of Constructions and Its Metamathematical Applications.- 5 Related Work, Extensions and Directions of Future Investigations.- Appendix Independence Proofs by Realizability Models.- References.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews