Nominal Unification of Higher Order Expressions with Recursive Let.

Manfred Schmidt-Schau, Temur Kutsia, Jordi Levy, Mateu Villaret

Browse the full LOPSTR paper archive.