کتاب های Thomas Streicher
Domain-theoretic Foundations of Functional Programming
Thomas Streicher, 2006
Domain-theoretic foundations of functional programming
Thomas Streicher, 2006
Domain-theoretic Foundations of Functional Programming
Thomas Streicher, 2006
Domain-theoretic Foundations of Functional Programming
Thomas Streicher, 2006
Semantics of Type Theory: Correctness, Completeness and Independence Results
Thomas Streicher (auth.), 1991
Introduction to Category Theory and Categorical Logic [Lecture notes]
Thomas Streicher, 2017
Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]
Thomas Streicher, 2002
Logik für Informatiker [Lecture notes]
Thomas Streicher, 2002
Categorical Models of Constructive Logic [Lecture notes]
Thomas Streicher, 2013
Fibred categories à la Jean Bénabou [Lecture notes]
Thomas Streicher, 2017
Introduction to Constructive Logic and Mathematics [Lecture notes]
Thomas Streicher, 2009
