Semantics Of Type Theory: Correctness, Completeness And Independence Results (progress In Theoretical Computer Science)
Full Title: | Semantics Of Type Theory: Correctness, Completeness And Independence Results (progress In Theoretical Computer Science) |
---|---|
ISBN: | 3764335947 |
ISBN13: | 9783764335946 |
Authors: |
Thomas Streicher |