Name: Extensional Constructs in Intensional Type Theory
Price: 1539.95 DKK
Availability: InStock
Author: Martin Hofmann
ISBN: 9781447112433

Extensional Constructs in Intensional Type Theory af Martin Hofmann

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.539,95 kr.

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

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
216

Udgivet:
22. september 2011

Udgave:
11997

Størrelse:
234x156x12 mm.

Vægt:
359 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 22. november 2024

Normalpris

BLACK NOVEMBER
1.539,95 kr. + Fragt
~~1.539,95 kr.~~

Medlemspris

1.489,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Extensional Constructs in Intensional Type Theory - Martin Hofmann - Bog

Bag om Martin Hofmann

Beskrivelse af Extensional Constructs in Intensional Type Theory

Brugerbedømmelser af Extensional Constructs in Intensional Type Theory

Gør som tusindvis af andre bogelskere