Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373 Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3 Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
The Resource λ-calculus (RC) is a variation of the λ-calculus where arguments can be superposed and must be linearly used, and where reduction introduces formal [...]