Ugo de'Liguoro, Riccardo Treglia. λ-calculus and its intersection type discipline. Theoretical Computer Science, 846:141-159, 2020. [doi]
@article{deLiguoroT20, title = {λ-calculus and its intersection type discipline}, author = {Ugo de'Liguoro and Riccardo Treglia}, year = {2020}, doi = {10.1016/j.tcs.2020.09.029}, url = {https://doi.org/10.1016/j.tcs.2020.09.029}, researchr = {https://researchr.org/publication/deLiguoroT20}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {846}, pages = {141-159}, }