5 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unkno…