抽象のハシゴを降りろgrass

このページは半公開の庭先公開ページです。

と一般意味論は要求する

Abstraction Ladder

p. 233