recursive saturation
related: recursive functions
related: computability
related: type
broader: saturated model
preferred label: اشباع بازگشتی @fa
type: Concept

type
preferred label: تایپ @fa
type: Concept
related: recursive saturation

saturated model
preferred label: مدل اشباع @fa
type: Concept
narrower: recursive saturation

computability
preferred label: محاسبه‌پذیری @fa
type: Concept
related: recursive saturation

recursive functions
preferred label: توابع بازگشتی @fa
type: Concept
related: recursive saturation