%0 Journal Article %1 journals/igpl/VenturaKA15 %A Ventura, Daniel Lima %A Kamareddine, Fairouz %A Ayala-Rincón, Mauricio %D 2015 %J Log. J. IGPL %K %N 2 %P 295-340 %T Explicit substitution calculi with de Bruijn indices and intersection type systems. %U http://dblp.uni-trier.de/db/journals/igpl/igpl23.html#VenturaKA15 %V 23

@article{journals/igpl/VenturaKA15, added-at = {2023-12-13T07:26:27.000+0100}, author = {Ventura, Daniel Lima and Kamareddine, Fairouz and Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/2cc127a1baccf89a7e75f2377288bae11/admin}, ee = {https://www.wikidata.org/entity/Q58001383}, interhash = {b902b5b96a5ff211296083c997c71de4}, intrahash = {cc127a1baccf89a7e75f2377288bae11}, journal = {Log. J. IGPL}, keywords = {}, number = 2, pages = {295-340}, timestamp = {2023-12-13T07:26:27.000+0100}, title = {Explicit substitution calculi with de Bruijn indices and intersection type systems.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl23.html#VenturaKA15}, volume = 23, year = 2015 }