The standardisation theorem is a key theorem inthe -calculus. It implies that any normal form can... more The standardisation theorem is a key theorem inthe -calculus. It implies that any normal form canbe reached by the normal order (leftmost outermost)strategy. The theorem states that any reduction maybe rearranged in a top-down and left-to-right order.This also holds in orthogonal term rewriting systems(TRS), although the left-to-right order is more subtle.We give a new presentation of the standardisationproperty by means
The standardisation theorem is a key theorem inthe -calculus. It implies that any normal form can... more The standardisation theorem is a key theorem inthe -calculus. It implies that any normal form canbe reached by the normal order (leftmost outermost)strategy. The theorem states that any reduction maybe rearranged in a top-down and left-to-right order.This also holds in orthogonal term rewriting systems(TRS), although the left-to-right order is more subtle.We give a new presentation of the standardisationproperty by means
Uploads
Papers by melly melly