This title assumes that there is a single theory of programming languages, which is a bit strange.