Compatibility of equalities based on operational semantics
by Nils Anders Danielsson on October 29, 2010. Tagged as: Lunches.
Today we discussed the kind of issues one can run into when proving that a program equivalence, defined on top of an operational semantics, is a congruence.