نظریه نوع‌ها

نظریه نوع‌ها شاخه‌ای از منطق، دانش رایانه و فلسفه است که به شناخت سیستم‌های منطقی و کاربرد آن‌ها به جای نظریه مجموعه‌ها می‌پردازد. در نظریه زبان‌های برنامه‌نویسی نظریه نوع‌ها ممکن است به طراحی، تحلیل و شناخت انواع داده‌ها اشاره داشته باشد.

منابع 

 (انگلیسی) (۳۵۷ ص) F.D. Kamareddine، A Modern Perspective on Type Theory: From its Origins until Today، Springer، ۲۰۰۴
 فرزاد حمیدی، تحلیلی نو، بر پارادوکس راسل و پیوستار همراه با معرفی یک هندسه جدید، (نوامبر ۲۰۰۰)
 (انگلیسی) Simon Thompson، Type Theory and Functional Programming، ۱۹۹۱
 (انگلیسی) The دانشنامه فلسفه استنفورد (Fall ۲۰۰۸ Edition)، Type Theory، ۲۰۰۶

نظریه نوع‌ها
سامانه‌های منطق ریاضی
سلسله‌مراتب
علوم رایانه
مقاله‌های برچسب‌دار فلسفه
منطق
نظریه‌های فلسفی