type theory
type theory是什么意思、type theory怎么读
【计】 类型论, 类型理论
type theory汉语翻译
【计】 类型论, 类型理论