Semantics of type theory : correctness, completeness and independence results

Thomas Streicher
Bok · Engelsk · 1991 Thomas. Streicher

Utgitt	New York : Springer Science+Business Media , 1991
Omfang	XII, 298 s. : ill.
Opplysninger	Originalutgave publisert av Birkhäuser i Boston, 1991.
Emner	Functional programming (Computer science) Programming languages (Electronic computers) - Semantics. Type theory. Funksjonell programmering Vis mer... funksjonsprogrammeringsspråk programmeringsspråk semantikk typeteori
Dewey	005.13
ISBN	9781461267577