5 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2018★ 5 cited
Solvability = Typability + Inhabitation
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabit…
cs.LO2017★ 4 cited
Inhabitation for Non-idempotent Intersection Types
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…