I spend most of my SE time on MO, where historical questions are usually shunted aside to HSM. Are historical questions appropriate here?

Specifically, I want to know why (if anyone but Girard knows!) linear and affine types are so called. (That is, what about their resource limitation is particularly linear, or affine?) Is that an appropriate question for CStheory, or is there an HCStheory-type site where I should ask instead?

  • $\begingroup$ I asked the same question at LtU, and found the discussion there very enlightening. Accordingly, it seems that I no longer need to ask here, but thanks to @LevReyzin for responding. $\endgroup$
    – LSpice
    Jul 4, 2017 at 14:40

1 Answer 1


In general, I think historical questions could be okay if they are of interest to researchers.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .