appendix sectionnotation

Uniqueness graphs and places

symbol	meaning	first
symbol	meaning	first
$[[E {]]}_{g}$	rooted term-graph denotation of expression $E$	chapter 47
$E ≃_{g} E^{'}$	equality up to bound-node renaming of entire rooted graph denotations, including garbage equations	chapter 47
$E ⟼_{g} E^{'}$	source step induced exactly by a graph rewrite	chapter 47
$g ⟶_{g} g^{'}$ , $g ⟶_{g}^{*} g^{'}$	one rooted graph rewrite and its finite closure	chapter 47
$u, m$	unique and possibly-shared attributes, ordered $u \leq m$	chapter 47
$[σ]$	partial correction of an attributed type to a shared view	chapter 47
$π ⋈_{p} π^{'}$	prefix overlap of projection paths	chapter 48
$π #_{p} π^{'}$	separation of projection paths	chapter 48
$Σ; Δ; Γ; Θ ⊢ e : τ \Rightarrow Γ^{'}$	Oxide v4 flow-sensitive expression typing	chapter 48
$Δ; Γ; Θ ⊢^{ω} p \Rightarrow L$	Oxide v4 ownership-safety check and traversed loans	chapter 48
${gc - loans}_{Θ} (Γ)$	continuation-aware collection of unused concrete-region loans	chapter 48