استنباط نوع

استنباط نوع  به تشخیص خودکار نوع یک عبارت در یک زبان صوری اشاره دارد. این زبان‌های صوری هم شامل زبان‌های برنامه‌نویسی است، و هم شامل سامانه‌های نوع ریاضی است، اما در زبان‌های طبیعی در بعضی از رشته‌های علوم رایانه و زبان‌شناسی هم استنتاج نوع انجام می‌گیرد.

استنباط نوع
استنباط
سیستم‌های انواع
نظریه نوع‌ها