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

https://hal-univ-paris13.archives-ouvertes.fr/hal-01091754
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

File

GeometryOfResourceInteraction_...
Publisher files allowed on an open archive

Licence


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles