線形 せんけい論理 ろんりなら
senkeironrinara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 線形論理

1. If linear logic; When linear logic

Nara Conditional