9 citations · 33 across the 10 of their papers we have counts for
1 paper · 1 filter
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we show that the equational proofs abo…