Vocabulary

線形論理

linear logic

noun