線形 せんけい論理 ろんりでした
senkeironrideshita

Noun
Desu Copula

The polite past form of 線形論理

1. Was linear logic.

Past/Perfective
Polite