activity
20152026
most citedTyping Classes and Mixins with Intersection Types

5 citations · 7 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LO2022

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Andrej Dudenhefner

Semi-unification is the combination of first-order unification and first-order matching. The undecidability of semi-unification has been proven by Kfoury, Tiuryn, and Urzyczyn in t…