"theoretical computer science" . . "programming theory" . . . . "programming-language design" . . "Theory of computation" . . . "computation theory" . "Theory of Computation" . "computer sciences" . "theory of computation" . . . . . "Theory of computation" . "Theory_of_computation#History" . . "computational theorist" . . "Computing Theory" . . . . . "Computation theory" . "theory" . . . . "foundations of computation" . "theory of computers" . . "computation" .