Geometry of Resource Interaction - A Minimalist Approach - Université Sorbonne Paris Nord
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2015

Geometry of Resource Interaction - A Minimalist Approach

Résumé

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.
Fichier principal
Vignette du fichier
GeometryOfResourceInteraction_2015-02-16.pdf (263.4 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01091754 , version 2 (30-03-2015)

Licence

Identifiants

Citer

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

Altmetric

Partager

More