%0 Journal Article %1 journals/igpl/BucciarelliKV17 %A Bucciarelli, Antonio %A Kesner, Delia %A Ventura, Daniel %D 2017 %J Log. J. IGPL %K dblp %N 4 %P 431-464 %T Non-idempotent intersection types for the Lambda-Calculus. %U http://dblp.uni-trier.de/db/journals/igpl/igpl25.html#BucciarelliKV17 %V 25

@article{journals/igpl/BucciarelliKV17, added-at = {2020-10-26T00:00:00.000+0100}, author = {Bucciarelli, Antonio and Kesner, Delia and Ventura, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/21e62f7fe6c411f75227ff3d0663448bf/dblp}, ee = {https://doi.org/10.1093/jigpal/jzx018}, interhash = {4d3eeddacfb03f83789fecceaad880e7}, intrahash = {1e62f7fe6c411f75227ff3d0663448bf}, journal = {Log. J. IGPL}, keywords = {dblp}, number = 4, pages = {431-464}, timestamp = {2020-10-27T13:02:23.000+0100}, title = {Non-idempotent intersection types for the Lambda-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl25.html#BucciarelliKV17}, volume = 25, year = 2017 }