-
RecordNumber
23316
-
Author
Streicher, Thomas, 1958-
-
Title
Semantics of type theory: correctness, completeness, and independence results
-
Author Statement
Thomas Streicher
-
Publication
Birkhauser
-
Publication Year
1991
-
Collation
Xii, 298P., illus., diagr
-
Series
Progress in Theoretical computer science
-
Notes
Bibliography: P. [292]-295 , 0817635947
-
Subject
Type theory , Functional programming (Computer science) , Programming languages (Electronic computers)-Semantics
-
LC Class
QA
-
LC Number
76.7
-
LC CutterNumber
.S82
-
Link To Document :
