Semantics of Type Theory
Subtitle: Correctness, Completeness and Independence Results
Publisher: Birkhäuser
Published: Jun 14, 2012
Format: paperback
Number of pages: 316
ISBN-13: 9781461204343
Notes: Source title: Semantics of Type Theory: Correctness, Completeness and Independence Results