Siirry suoraan sisältöön
Semantics of Type Theory
Tallenna

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.
Alaotsikko
Correctness, Completeness and Independence Results
Kirjailija
T. Streicher
Painos
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267577
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
29.10.2012
Sivumäärä
299