Semantics of Type Theory
Subtitle: Correctness, Completeness and Independence Results
By: by Thomas Streicher
Series: Progress in Theoretical Computer Science; Progress in theoretical computer science
Publisher: Birkhäuser Boston; Imprint: Birkhäuser
Published: 1991
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
Number of pages: 299
ISBN-13: 9781461267577; 9781461204336
Subjects: Mathematics; Computer science
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.