PanLinx
國語
cmn-001
類型論
普通话
cmn-000
类型论
Hànyǔ
cmn-003
lei4 xing2 lun4
Deutsch
deu-000
Typentheorie
PanLex