## Tags - Part of: [[Computer science]] - Related: - Includes: - Additional: ## Technical summaries - Programming language theory (PLT) is a branch of [[computer science]] that deals with the [[design]], [[implementation]], [[analysis]], [[characterization]], and [[classification]] of [[Formal language|formal languages]] known as programming languages. Programming language theory is closely related to other fields including [[mathematics]], [[software engineering]], and [[linguistics]]. ## Main resources - [Programming language theory - Wikipedia](https://en.wikipedia.org/wiki/Programming_language_theory) <iframe src="https://en.wikipedia.org/wiki/Programming_language_theory" allow="fullscreen" allowfullscreen="" style="height:100%;width:100%; aspect-ratio: 16 / 5; "></iframe>