Author

Thomas Streicher

2 titles available
Cover of Semantics of Type Theory by Thomas Streicher

Semantics of Type Theory
Cover of Domain-theoretic Foundations of Functional Programming by Thomas Streicher

Domain-theoretic Foundations of Functional Programming

About Thomas Streicher

Free ebooks by Thomas Streicher available for download.