intuitionistic type theory
preferred label: نظریه انواع شهودی @fa
type: Concept
broader: type theory

domain theory
preferred label: نظریه دامنه @fa
type: Concept
related: type theory

naive set theory
preferred label: نظریه مجموعه‌های طبیعی @fa
type: Concept
related: type theory

computer science
preferred label: علوم کامپیوتر @fa
type: Concept
related: type theory

type theory
type: Concept
related: computer science
related: domain theory
related: Lambda calculus
related: naive set theory
related: higher order logic
related: category theory
preferred label: نظریه انواع @fa
broader: general logic
narrower: intuitionistic type theory

Lambda calculus
preferred label: حساب لاندا @fa
type: Concept
related: type theory

higher order logic
preferred label: منطق مرتبه بالاتر @fa
type: Concept
related: type theory

category theory
preferred label: نظریه رسته @fa
type: Concept
related: type theory

general logic
preferred label: منطق عمومی @fa
type: Concept
narrower: type theory