%0 Conference Paper %1 journals/corr/abs-1001-4438 %A Ventura, Daniel Lima %A Ayala-Rincón, Mauricio %A Kamareddine, Fairouz %B WRS %D 2009 %E Fernández, Maribel %K %P 69-82 %T Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices %U http://dblp.uni-trier.de/db/series/eptcs/eptcs15.html#abs-1001-4438 %V 15

@inproceedings{journals/corr/abs-1001-4438, added-at = {2023-12-13T02:47:04.000+0100}, author = {Ventura, Daniel Lima and Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/27e01be1012442962631cbe32741acce1/admin}, booktitle = {WRS}, crossref = {journals/corr/abs-1001-4573}, editor = {Fernández, Maribel}, ee = {https://www.wikidata.org/entity/Q58001472}, interhash = {83863efcc399a31a4325260242b37afb}, intrahash = {7e01be1012442962631cbe32741acce1}, keywords = {}, pages = {69-82}, series = {EPTCS}, timestamp = {2023-12-13T02:47:04.000+0100}, title = {Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs15.html#abs-1001-4438}, volume = 15, year = 2009 }