appendix sectionnotation

Optimal sharing and graph reduction

symbol	meaning	first
symbol	meaning	first
$letgraph s^{a} = N in P$	one-node labeled sharing fragment	chapter 42
$R_{let} (H)$	readback by expansion of a shared node	chapter 42
${contract}_{let} (H)$	one shared-body beta contraction	chapter 42
$G (M), R (G)$	GAL diagrammatic translation and access-path readback	chapter 42
$G ⟶_{GAL} G^{'}$ , $G ⟶_{GAL}^{*} G^{'}$	one full GAL graph step and its finite closure	chapter 42
$G \to_{GAL : (u, v)}^{a} G^{'}$	rightmost-fan GAL step with label and facing ports	chapter 42
$K_{0} (n), K_{j + 1} (n)$	$n$ and $2^{K_{j} (n)}$ , the elementary hierarchy	chapter 42
$b_{E}, p_{E}$	ordinary and parallel beta counts for normalization	chapter 42