相互作用計算における上向きコンフルエンス

ラムダ計算は上向きのコンフルエントではありません。反例/ a>は長い間知られていた。さて、インタラクション計算法はどうですか?具体的には、私は、$ がc:c_1
rightarrow ^ * c wedge c_2 rightarrow ^ * c $のように構成$ c_1
$と$ c_2 $を探していますが、$ nはc ‘:c’ rightarrow ^ * c_1 \ wedge c ‘
rightarrow ^ * c_2 $。

Update: a necessary and sufficient condition
for strong upward confluence discussed in arXiv:1806.07275v3 which also shows that
the condition is not necessary for upward confluence by showing
upward confluence for the interaction system of the linear lambda
calculus.

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です