Maurizio Dominici

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The resource calculus is an extension of the λ-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction – one parallel, preserving all the possible results as a formal sum, and one non-deterministic, performing an exclusive choice at every step. We prove that the non-deterministic(More)
  • 1