Gå direkte til innholdet
Semantics of Type Theory
Spar

Semantics of Type Theory

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.
Undertittel
Correctness, Completeness and Independence Results
Forfatter
T. Streicher
Opplag
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267577
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
29.10.2012
Antall sider
299