فرم نرمال بتا

فرم نرمال بتا  در جبر لاندا، یک جملهٔ لانداست که دیگر امکان کاهش بتا در آن وجود نداشته باشد. جملهٔ لاندا در حالت نرمال بتا است اگر نتوان بر روی آن کاهش بتا یا کاهش اِتا انجام داد.

جستارهای وابسته 
 جبر لاندا

منابع 

 

حساب لامبدا
فرم‌های نرمال (منطق)