T. Streicher profile picture

T. Streicher

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

Stand Alone

Correctness and Completeness (Progress in Theoretical Computer Science)
Semantics of Type Theory Correctness, Completeness and Independence Results
T. Streicher — Books & Biography | Menrva Books