search

aigarashi / errata-copl

「プログラミング言語の基礎概念」の正誤表
7 stars 0 forks source link

p.90 の正誤情報 #90

Open aigarashi opened 6 years ago

aigarashi commented 6 years ago

定理 5.2 誤) ML2 正) ML3

aigarashi commented 4 years ago

定理5.2の証明(d)1〜2行目: 誤) ...値 v' ... P(E,x,v') ならば 正) …値 v ... P(E,x,v) ならば (プライムを取る)