Geometry of Resource Interaction - A Minimalist Approach

Marco Solieri

The Resource $\lambda$-calculus is a variation of the $\lambda$-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic progr…