1 paper
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction…