Operational and Semantic Equivalence between Recursive Programs

Jean-Claude Raoult, Jean Vuillemin

Browse the full STOC paper archive.