Semantic Equivalence of Program Schemes and its Syntactic Characterization.

Irne Guessarian

Browse the full ICALP paper archive.