Semantics of type theory
Subtitle: correctness, completeness, and independence results
By: Thomas Streicher.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1991
Place of publication: Boston
Language: eng
Number of pages: 298
Subjects: Programming languages (Electronic computers) -- Semantics.; Functional programming (Computer science); Type theory.
Notes: Includes bibliographical references (p. 292-295) and index.