トップ «前の日記(2005-10-04) 最新 次の日記(2005-10-08)» 月表示 編集

日々の流転


2005-10-05 [長年日記]

λ. Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence; James Cheney, Christian Urban

名前と束縛を扱うというから、高階抽象構文(higher-order abstract syntax, HOAS)と束縛代数(binding algebra)を使っているのだとばかり思っていたけど、違った。nominal logic というのものに基づいた nominal abstract syntax (NAS) というのを使っている。NASはシンプルでいい感じに思える。