9 citations · 65 across the 33 of their papers we have counts for
1 paper · 2 filters
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…