"Theory of programming" redirects here. For the branch of CS that deals with what problems can be solved, see Theory of computation. This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (October 2015) (Learn how and when to remove this message) The lowercase Greek lette
![Programming language theory - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/3fadf980fd61b3244d6d638642649efb8bf2e516/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2F3%2F39%2FLambda_lc.svg%2F1200px-Lambda_lc.svg.png)