De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory

af Martin Hofmann

indgår i Distinguished Dissertations serien

Extensional Constructs in Intensional Type Theory af Martin Hofmann
Bag om 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).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781447112433
  • Indbinding:
  • Paperback
  • Sideantal:
  • 216
  • Udgivet:
  • 22. september 2011
  • Udgave:
  • 11997
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 359 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Martin Hofmann

Vis alle bøger af Martin Hofmann

Beskrivelse af 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).

Brugerbedømmelser af Extensional Constructs in Intensional Type Theory



Andre købte også..
Find lignende bøger
Bogen Extensional Constructs in Intensional Type Theory findes i følgende kategorier: