PanLinx
English
eng-000
Jaensch’s type theory
普通话
cmn-000
杨施的类型理论
PanLex