theory of types

网络释义

1.	类型论数学词汇英语翻译(S-Z) ... theory of transversals 横断线论 theory of types 类型论 thermal 热的 ... www.zftrans.com
2.	类型说直觉主义者以直觉之实现而继续前进，其法固足以消灭诡论，但《算理》中的类型说(theory of types)亦足以解决诡论而有余。 … www.moophilo.net
3.	逻辑类型论罗素的逻辑类型论（theory of types）的根本原则，通俗地说就是把命题和它所指的对象区分为不同的层次，即命题自身并不包 … blog.sina.com.cn