%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 dblp %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 = {2020-10-26T00:00:00.000+0100}, author = {Ventura, Daniel Lima and Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/27e01be1012442962631cbe32741acce1/dblp}, booktitle = {WRS}, crossref = {journals/corr/abs-1001-4573}, editor = {Fernández, Maribel}, ee = {https://www.wikidata.org/entity/Q58001472}, interhash = {83863efcc399a31a4325260242b37afb}, intrahash = {7e01be1012442962631cbe32741acce1}, keywords = {dblp}, pages = {69-82}, series = {EPTCS}, timestamp = {2020-10-27T13:10:51.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 }