部分功能语义学的英文翻译
中文:部分功能语义学
英文翻译:【计】 partial function semantics