線形 せんけい論理 ろんり
senkeironride

Noun
Da Copula

て-form: Used to connect clauses, make requests, or chain actions of 線形論理

1. Linear logic

Te-Form