Equivalence of Denotational and Operational Semantics for Interaction Languages.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Browse the full TASE paper archive.