Home / Authors / T. Streicher

Books by T. Streicher

All books by this author

2 books found
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Semantics of Type Theory: Correctness, Completeness and Ind…
By: T. Streicher
View Details
Correctness and Completeness (Progress in Theoretical Computer Science)
Correctness and Completeness (Progress in Theoretical Compu…
By: T. Streicher
View Details