PLCC 书。第 23 页。是否印刷错误，是否应将 sigma 替换为 sigma prime？
PLCC book. page 23. Is it a misprint, and should sigma be replaced by sigma prime?
在 Programming Logics for Certified Compilers 一书中，第 23 页，在表达式中：
(v ≠ 0 ∧ ∃σ' ∃h∃t. σ = h · σ' ∧ v.head->h ∗ v.next->t ∗ listrep σ (t, 0))
在我看来，由于σ代表整个列表v，而σ'代表尾巴，所以最后的表达式应该是：listrep σ' (t, 0)。是这样吗，只是书上印错了？
是的，你是对的；它应该是 sigma-prime。
在 Programming Logics for Certified Compilers 一书中，第 23 页，在表达式中：
(v ≠ 0 ∧ ∃σ' ∃h∃t. σ = h · σ' ∧ v.head->h ∗ v.next->t ∗ listrep σ (t, 0))
在我看来，由于σ代表整个列表v，而σ'代表尾巴，所以最后的表达式应该是：listrep σ' (t, 0)。是这样吗，只是书上印错了？
是的，你是对的；它应该是 sigma-prime。