Thomas Streicher profile picture

Thomas Streicher

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Semantics of Type Theory
Semantics of Type Theory Correctness, Completeness and Independence Results
Semantics of Type Theory Correctness, Completeness, and Independence Results
Thomas Streicher — Books & Biography | Menrva Books