simple type theory的意思|示意
美 / ˈsimpl taip ˈθiəri /
英 / ˈsɪmpəl taɪp ˈθiəri /
简单类型理论