Nottingham FP Lab Blog

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.

comments powered by Disqus