1 citations · 1 across the 1 of their papers we have counts for
1 paper
Conrad Rau, Manfred Schmidt-Schauß
Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite seman…