Vor Ort
Merkzettel Warenkorb
  • Produktbild: Semantics of Type Theory
  • Produktbild: Semantics of Type Theory

Semantics of Type Theory Correctness, Completeness and Independence Results

Aus der Reihe Progress in Theoretical Computer Science

82,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.10.2012

Abbildungen

XII, 299 p.

Verlag

Birkhäuser Boston

Seitenzahl

299

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Sprache

Englisch

ISBN

978-1-4612-6757-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.10.2012

Abbildungen

XII, 299 p.

Verlag

Birkhäuser Boston

Seitenzahl

299

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Sprache

Englisch

ISBN

978-1-4612-6757-7

Herstelleradresse

Springer Nature c/o IBS
Benzstrasse 21
48619 Heek
DE

Email: Tanja.Keller@springer.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Semantics of Type Theory
  • Produktbild: Semantics of Type Theory
  • 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.