نظریه نوع‌ها: تفاوت میان نسخه‌ها

{{پانویس}}

* (انگلیسی) (۳۵۷ ص) F.D. Kamareddine، A Modern Perspective on Type Theory: From its Origins until Today، Springer، ۲۰۰۴

* (انگلیسی) Simon Thompson، [http://www.cs.kent.ac.uk/people/staff/sjt/TTFP Type Theory and Functional Programming]، ۱۹۹۱

* (انگلیسی) The Stanford Encyclopedia of Philosophy (Fall ۲۰۰۸ Edition)، [http://plato.stanford.edu/entries/type-theory Type Theory]، ۲۰۰۶