A Unification Algorithm for Second-Order Linear Terms
arXiv:2309.02024
Abstract
We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.
arXiv:2309.02024
We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.