نظریه نوع‌ها

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

 منابع 

 (انگلیسی) (۳۵۷ ص) 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، ۲۰۰۶

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