T.S. · T. Streicher · Thomas S.
Birkhauser · World Scientific Pub Co Inc
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Domain-Theoretic Foundations of Functional Programming | 978-981-270-142-8 (981-270-142-7) | 2006 |
| Semantics of Type Theory: Correctness, Completeness and Independence Results | 978-0-8176-3594-7 (0-8176-3594-7) | 1991 |