A Unification Algorithm for Second-Order Linear Terms

09/05/2023

∙

by   Gilles Dowek, et al.

∙

0

∙

share

We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.