What is a Model of the Linear Lambda Calculus?

Arturo De Faveri

We investigate the notion of model of the linear $\lambda$-calculus from an algebraic perspective. Our starting point is the operad of linear $\lambda$-terms, whose algebras provide a natural…