Hacker News new | ask | show | jobs
by mdm12 1271 days ago
My understanding is that the 'linear' terminology derives from the field of Linear Logic[1]. But, I am by no means an expert on theoretical computer science etymology!

[1] https://en.wikipedia.org/wiki/Linear_logic