| Reducibility Proofs in the λ-Calculi with Intersection Types |
| English |
| Kamareddine, Fairouz [Heriot-Watt University > School of Mathematical and Computer Sciences] |
| Rahli, Vincent [Heriot-Watt University > School of Mathematical and Computer Sciences] |
| Wells, J. B. [Heriot-Watt University > School of Mathematical and Computer Sciences] |
| 2008 |
| Yes |
| Workshop on Intersection Types and Related Systems (ITRS 2008) |
| March 2008 |
| http://hdl.handle.net/10993/22680 |
| Presented to ITRS'08, 4th Workshop on Intersection Types and Related Systems, Turin, Italy, 25 March 2008 |