Thomas Streicher

Popular items by Thomas Streicher

View all offers

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Streicher, Thomas

Item prices starting from

� 56.85

View 16 offers

Also find
New, Used
Domain-Theoretic Foundations of Functional Programming
Streicher, Thomas

Item prices starting from

� 56.06

View 3 offers

Also find
New