Kappa calculus とは

数学的論理、カテゴリ理論、コンピュータ科学では、κ計算は一次関数を定義する正式なシステムです。
ラムダ計算とは異なり、カッパ計算には高次関数はありません。その関数はファーストクラスのオブジェクトではありません。カッパ計算は「型付きラムダ計算の一次断片の再構成」とみなすことができる。
その関数はファーストクラスのオブジェクトではないので、κ計算式の評価はクロージャを必要としません。