Linearity, Non-determinism and Solvability - Archive ouverte HAL
Article Dans Une Revue Fundamenta Informaticae Année : 2010

Linearity, Non-determinism and Solvability

Résumé

We study the notion of solvability in the resource calculus, an extension of the λ-calculus modelling resource consumption. Since this calculus is non-deterministic, two different notions of solvability arise, one optimistic (angelical, may) and one pessimistic (demoniac, must). We give a syntactical, operational and logical characterization for the may-solvability and only a partial characterization of the must-solvability. Finally, we discuss the open problem of a complete characterization of the must-solvability.
Fichier principal
Vignette du fichier
must_may_fundamentae.pdf (345.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04670080 , version 1 (11-08-2024)

Licence

Identifiants

Citer

Michele Pagani, Simona Ronchi Della Rocca. Linearity, Non-determinism and Solvability. Fundamenta Informaticae, 2010, From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday, 103 (1-4), pp.173-202. ⟨10.3233/FI-2010-324⟩. ⟨hal-04670080⟩
20 Consultations
7 Téléchargements

Altmetric

Partager

More