Type theory – Formal analysis of the types of data, and the use of these types to understand properties of programs — especially program safety.
تئوری نوع - تجزیه و تحلیل رسمی انواع داده‌ها و استفاده از این انواع برای درک خواص برنامه‌ها - به ویژه امنیت برنامه.