Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Extensional Constructs in Intensional Type Theory

Über Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781447112433
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 216
  • Veröffentlicht:
  • 22. September 2011
  • Ausgabe:
  • 11997
  • Abmessungen:
  • 234x156x12 mm.
  • Gewicht:
  • 359 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

Kund*innenbewertungen von Extensional Constructs in Intensional Type Theory



Ähnliche Bücher finden
Das Buch Extensional Constructs in Intensional Type Theory ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.