What is a model for a semantically linear λ-calculus? - Gaboardi, Marco; Piccolo, Mauro (Journal of Logic & Computation, 2014)