Concept
One step evaluation relation
Books
Journey Statuslearning
A relation defining a single atomic reduction, mapping a term to its immediate successor by applying exactly one reduction rule. The relation is denoted using the symbol .
A relation defining a single atomic reduction, mapping a term to its immediate successor by applying exactly one reduction rule. The relation is denoted using the symbol .