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