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