$\lambda f$-calculus

λf-計算 (吉田展子)

λ-計算という形式体系が1930年Churchによって提案され、それを 基本としてLispなどの言語が構築されてきましたが、重要な概念である資源 の共有を実行系としては表現できませんでした。環境を用いた λf$-計算 では資源の共有概念を実現できるだけでなく、効率のよい計算が実現できる点で も今までにない有効な形式系と考えられています。