Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Dominici, Maurizio"'
Publikováno v:
EPTCS 101, 2012, pp. 1-11
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 - one parallel, preserving all the possible results as a formal sum, a
Externí odkaz:
http://arxiv.org/abs/1211.4097
