p386

[Kazu Yamamoto]

こんにちは、山本です。

p386 に [4] が 2 つありますが、一方が他方をサーベイしたことになっていて、意味が通らない気がします。
どちらかは、別の論文への参照が正しいのでしょうか？

[Eijiro Sumii]

当該段落は

> Pierce とTurner [373] が導入したオブジェクト表現は…

をはじめ多数の論文を参照していて、その中には確かに

> Abadi とCardelli はプリミティブなオブジェクトの計算体系を導入した[4]。

も含まれていますが、

> これらの発展はBruce et al. [63] とAbadi and Cardelli [4] によってサーベイされている。

は段落全体の最後のまとめですので、全体としては特におかしくないと思います。
ご連絡どうもありがとうございました。

[Eijiro Sumii]

追伸：

[4]についても、

> Abadi とCardelli はプリミティブなオブジェクトの計算体系を導入した[4]。しかしなが
> ら、後にAbadi, Cardelli, and Viswanathan [9] はこのオブジェクト計算の有界存在型と再帰型によ
> る忠実な表現を発見した。これらの発展はBruce et al. [63] とAbadi and Cardelli [4] によってサー
> ベイされている。

のうちの「…を導入した」は[4]のすべてではなく主な部分だけで、
同じ[4]の第18章には[9]の内容も含まれているようです。ご参考になれば幸いです。