Program Semantics

五十嵐淳『プログラミング言語の基礎概念』を読んでいます。 整礎順序集合 集合とその上の順序が整礎であるとは、（真の）無限降下列が存在しないことを