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