Rho calculus とは

rho-calculusという名前の2つの異なる計算があります。第1は、ラムダ計算の高次関数と項書き換えのパターンマッチングを結合することを意図した形式表現である。第2のものは、非同期polyadic pi計算の反射高次バリアントです。