PanLinx
日本語
jpn-000
線形論理
English
eng-000
linear logic
にほんご
jpn-002
せんけいろんり
PanLex