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

Streicher, T.

9781461204343: Semantics of Type Theory: Correctness, Completeness and Independence Results

Couverture souple

ISBN 10 : 1461204348 ISBN 13 : 9781461204343

Editeur : Birkh�user, 2012

L'�dition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Birkh�user
Date d'�dition: 2012
Langue: anglais
ISBN 10: 1461204348
ISBN 13: 9781461204343
Reliure: Taschenbuch
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Autres �ditions populaires du m�me titre

9781461267577: Semantics of Type Theory: Correctness, Completeness and Independence Results

Edition pr�sent�e

ISBN 10 : 1461267579 ISBN 13 : 9781461267577
Editeur : Birkh�user, 2012
Couverture souple