Programming Language Theory Concept
Congruence rule
Books
Journey Statuslearning Tags
A rule specifying how evaluation propagates into subterms, allowing reduction within a syntactic context while preserving the outer structure.
A rule specifying how evaluation propagates into subterms, allowing reduction within a syntactic context while preserving the outer structure.