7 citations · 25 across the 13 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…