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はシンプルでいい感じに思える。