semi-unification
from
単一化
semi-unification
https://arxiv.org/abs/2208.13428
これ普通に偉すぎる仕事だと思う
そもそもImmortality決定不能性論文が読まれて無さすぎなので、その論文からしてオススメです
ref