👤

Thomas Streicher

b. 1958 ยท 2 books

Books by Thomas Streicher

Domain-theoretic Foundations of Functional Programming
Domain-theoretic Foundations of Functional Programming
2006
Semantics of type theory
Semantics of type theory
1991