Skip to Main content Skip to Navigation
Journal articles

Geometry of Resource Interaction - A Minimalist Approach

Marco Solieri 1, 2, 3, *
* Corresponding author
3 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : The Resource λ-calculus is a variation of the λ-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic and programming languages, and the target language of Ehrhard-Taylor expansion of λ-terms. In a strictly typed restriction of the Resource λ-calculus, we study the notion of path persistence, and we define a Geometry of Interaction that characterises it. The construction is also invariant under reduction and able to count addends in normal forms.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Marco Solieri Connect in order to contact the contributor
Submitted on : Monday, March 30, 2015 - 11:15:36 AM
Last modification on : Tuesday, December 8, 2020 - 10:18:02 AM


Publisher files allowed on an open archive


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License



Marco Solieri. Geometry of Resource Interaction - A Minimalist Approach. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2015, Proceedings Third International Workshop on Linearity - Vienna, Austria, 13th July, 2014, 176, pp.79-94. ⟨10.4204/EPTCS.176.7⟩. ⟨hal-01091754⟩



Les métriques sont temporairement indisponibles