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.
Type de document :
Article dans une revue
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2015, Proceedings Third International Workshop on Linearity - Vienna, Austria, 13th July, 2014, 176, pp.79-94. 〈http://eptcs.org/〉. 〈10.4204/EPTCS.176.7〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal-univ-paris13.archives-ouvertes.fr/hal-01091754
Contributeur : Marco Solieri <>
Soumis le : lundi 30 mars 2015 - 11:15:36
Dernière modification le : vendredi 12 janvier 2018 - 01:52:39

Fichier

GeometryOfResourceInteraction_...
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité - Partage selon les Conditions Initiales 4.0 International License

Identifiants

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. 〈http://eptcs.org/〉. 〈10.4204/EPTCS.176.7〉. 〈hal-01091754〉

Partager

Métriques

Consultations de la notice

435

Téléchargements de fichiers

115