I've only ever seen it spelled out "theoretical CS". There is GOFAI, though.