Linearity, Non-determinism and Solvability
Michele Pagani, Simona Ronchi Della Rocca · Fundamenta Informaticae · 2010
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