Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (6 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Semantics of Type Theory
Book Subtitle: Correctness, Completeness and Independence Results
Authors: Thomas Streicher
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4612-0433-6
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1991
Softcover ISBN: 978-1-4612-6757-7Published: 29 October 2012
eBook ISBN: 978-1-4612-0433-6Published: 06 December 2012
Edition Number: 1
Number of Pages: XII, 299
Topics: Computational Science and Engineering, Computational Mathematics and Numerical Analysis, Math Applications in Computer Science, Mathematics of Computing