La teoría de lenguajes de programación estudia el diseño, implementación, análisis y clasificación de lenguajes de programación, dependiendo de matemáticas, ingeniería de software y lingüística. Es un área activa de investigación en universidades y revistas especializadas, que utiliza el símbolo lambda para referirse al cálculo lambda, un modelo computacional usado por investigadores de lenguajes de programación.