Gå direkt till innehållet
Semantics of Type Theory
Spara

Semantics of Type Theory

Lägsta pris på PriceRunner
Types can be consid­ ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci­ fication.
Undertitel
Correctness, Completeness and Independence Results
Författare
T. Streicher
Upplaga
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267577
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-10-29
Sidor
299