Nadharia ya lugha ya programu
Kwa njia fulani, historia ya nadharia ya lugha ya programu hutangulia hata maendeleo ya lugha za programu zenyewe. Calculus ya lambda, iliyotengenezwa na Kanisa la Alonzo na Stephen Cole Kleene katika miaka ya 1930 inachukuliwa na wengine kuwa lugha ya kwanza ya upangaji programu, ingawa ilikusudiwa kuiga hesabu badala ya kuwa njia ya watayarishaji wa programu kuelezea algoriti kwa mfumo wa kompyuta. Lugha nyingi za kisasa za utendakazi za programu zimefafanuliwa kama kutoa "veneer nyembamba" juu ya calculus lambda, na nyingi zinafafanuliwa kwa urahisi.