Vocabulary
線形論理
せんけいろんり
linear logic
noun