Geometry of Resource Interaction - A Minimalist Approach

Marco Solieri 1, 2, 3, *
* Auteur correspondant
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.
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
Contributeur : Marco Solieri <>
Soumis le : lundi 30 mars 2015 - 11:15:36
Dernière modification le : jeudi 7 février 2019 - 17:52:43


Fichiers éditeurs autorisés sur une archive ouverte


Distributed under a Creative Commons Paternité - Partage selon les Conditions Initiales 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⟩



Consultations de la notice


Téléchargements de fichiers