فهرس:نظرية لغات البرمجة

ح

• ☰ حسابات اللامدا‏

ل

• ☰ لغات برمجة‏

ن

• ☰ نظرية المترجم‏
• ☰ نظرية النمط‏

ت

• تأثير جانبي (علم الحاسوب)

خ

• خطأ قواعدي
• خطأ منطقي

ش

• شفافية مرجعية

ك

• كمال تورنغ

ن

• نظرية لغات البرمجة