Programming in Martin-Lof's Type Theory 1

Data & IT

Programming in Martin-Lof's Type Theory

Name: Programming in Martin-Lof's Type Theory
Price: 1189 SEK
Availability: OutOfStock
Author: Bengt Nordstrom
ISBN: 9780198538141

Bengt Nordstrom

Inbunden

1189:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

232 sidor
1990

Martin-Lof's type theory is a formalism for program construction which expresses both specifications and programs within the same formalism. This book is an introduction to type theory as a theory for program construction.

Författare: Bengt Nordstrom
Format: Inbunden
ISBN: 9780198538141
Språk: Engelska
Antal sidor: 232
Utgivningsdatum: 1990-06-01
Förlag: Oxf. UP