環境をファースト・クラス・オブジェクトとして扱えるλ計算

スポンサーリンク

概要

• 論文の詳細を見る

• Lispの方言の一つ,Schemeでは環境をファースト・クラス・オブジェクトとして取り扱うことができる.この機能を付加した単純型つきλ計算λ^<env>を提唱し,その簡約規則の停止性を示した.またDe-Bruijnインデックスやα同値関係などにおける,通常のλ計算との違いについて考察した.

• 1993-05-28

著者

• 西崎 真也

  東京大学理学部情報科学科

• 西崎 真也

  千葉大学理学部数学・情報数理学科

関連論文

• 環境をファースト・クラス・オブジェクトとして扱えるλ計算
• 環境λ計算と単一化機構

スポンサーリンク