The inhabitation problem for non-idempotent intersection
Authors: Simona Ronchi Della Rocca, Antonio Bucciarelli and Delia Kesner
Paper Information
| Title: | The inhabitation problem for non-idempotent intersection |
| Authors: | Simona Ronchi Della Rocca, Antonio Bucciarelli and Delia Kesner |
| Proceedings: | Linearity 2014 Informal Proceedings |
| Editors: | Sandra Alves and Iliano Cervesato |
| Keywords: | lambda calculus, intersection types, inhabitation |
| Abstract: | ABSTRACT. The inhabitation problem for intersection types is known to be undecidable. We study the problem in the case of non-idempotent intersection, in particular for a type assignment system characterizing solvable terms, and we prove decidability through a sound and complete algorithm. |
| Pages: | 5 |
| Talk: | Jul 13 09:45 |
| Paper: |  |