Items related to Semantics of Type Theory: Correctness, Completeness...

Semantics of Type Theory: Correctness, Completeness and Independence Results - Softcover

Streicher, T.

 
9781461204343: Semantics of Type Theory: Correctness, Completeness and Independence Results
Softcover
ISBN 10: 1461204348 ISBN 13: 9781461204343
Publisher: Birkhäuser, 2012

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Birkhäuser
Publication date
2012
Language
English
ISBN 10 
1461204348
ISBN 13 
9781461204343
Binding
Paperback
Number of pages
316

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780817635947: Correctness and Completeness (Progress in Theoretical Computer Science)

Featured Edition

ISBN 10:  0817635947 ISBN 13:  9780817635947
Publisher: Birkhäuser Boston, 1991
Hardcover