2.10.17. РЕЗУЛЬТАТНЫЕ ВЫРАЖЕНИЯ КАК ИСТОЧНИКИ
Источник вида
Re
означает, что следует попытаться вычислить
Re
, и то, что получится, считать результатом вычисления источника.
Env,St |- Re => X,St'
-----------------------
Env,m,St |- Re => X,St'