線形 せんけい論理 ろんりだったら
senkeironridattara

Noun
Da Copula

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

1. If linear logic…; When linear logic…

Tara Conditional