PanLinx
普通话
cmn-000
乔施类型理论
English
eng-000
Joensch’s type theory
PanLex
