intuitionistic type theory
نظریه انواع شهودی
domain theory
نظریه دامنه
naive set theory
نظریه مجموعه‌های طبیعی
علوم کامپیوتر
computer science
Lambda calculus
حساب لاندا
منطق مرتبه بالاتر
higher order logic
نظریه رسته
category theory
type theory
نظریه انواع
منطق عمومی
general logic