אנגלית ⇄ סינית +

ramified theory of type
.טֶכנו	分歧类型论