Closed Kha closed 7 years ago
Interpreting σ as total, the rule currently used can be simplified to
⟨{var x = a; c}, σ⟩ →₁ ⟨x = a; c; x = 𝒩⁻¹⟦σ(x)⟧, σ⟩
Interpreting σ as total, the rule currently used can be simplified to