نظریه زبان های برنامه نویسی (به انگلیسی: PLT)، شاخه ای از علوم رایانه است که به طراحی، پیاده سازی، تجزیه و تحلیل، خاصیت ها و طبقه بندی زبان های برنامه نویسی و ویژگی های فردی آن ها می پردازد.اختراع ها در ایالات متحده (۱۸۹۰–۱۹۴۵)این شاخه وابسته و مؤثر در ریاضیات، مهندسی نرم افزار و زبان شناسی است و با نتایج منتشر شده در مجلات متعدد در زمینه پژوهشی فعال است، و همچنین در علوم عمومی رایانه و انتشارات م...