2007-05-29 XMLとBidoit/Hennicker/Kurz双対/Goldblatt双対 XML プログラム意味論 ビドォイト/ヘンニッカー/カーツ(Bidoit/Hennicker/Kurz)双対性を調べてみたい理由は、これがXMLにモロに適用できそうだから。XMLを順序付き多ソート代数とそのモデルで定式化することは以前から考えていることだが、構文定義文法とオブジェクト指向風APIの双対性は、BHK双対そのものだろう。ウルトラフィルターを使うGoldblatt双対も関係しそうだが、よくわからない。