Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Maurizio Dominici"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 101, Iss Proc. LINEARITY 2012, Pp 1-11 (2012)
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,
Externí odkaz:
https://doaj.org/article/3995f2a6553144da9fea9cc8c0c1049a
