37 citations · 96 across the 19 of their papers we have counts for
1 paper · 1 filter
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering seve…