1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
E-unification for Second-Order Abstract Syntax
Nikolai Kudasov
Higher-order unification (HOU) concerns unification of (extensions of) -calculus and can be seen as an instance of equational unification (-unification) modulo -equivalen…
cs.LO2022
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
Nikolai Kudasov
Type checking algorithms and theorem provers rely on unification algorithms. In presence of type families or higher-order logic, higher-order (pre)unification (HOU) is required. Ma…