%0 Conference Paper %1 conf/wollic/VenturaAK10 %A Ventura, Daniel Lima %A Ayala-Rincón, Mauricio %A Kamareddine, Fairouz %B WoLLIC %D 2010 %E Dawar, Anuj %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 232-246 %T Intersection Type Systems and Explicit Substitutions Calculi. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2010.html#VenturaAK10 %V 6188 %@ 978-3-642-13823-2

@inproceedings{conf/wollic/VenturaAK10, added-at = {2018-11-14T00:00:00.000+0100}, author = {Ventura, Daniel Lima and Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/23dbf61235aeff4696f4ca8dccf1d6eb1/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2010}, editor = {Dawar, Anuj and de Queiroz, Ruy J. G. B.}, ee = {https://www.wikidata.org/entity/Q58001448}, interhash = {7f57551085831e423442e7dcd28f32cb}, intrahash = {3dbf61235aeff4696f4ca8dccf1d6eb1}, isbn = {978-3-642-13823-2}, keywords = {dblp}, pages = {232-246}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:01:01.000+0200}, title = {Intersection Type Systems and Explicit Substitutions Calculi.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2010.html#VenturaAK10}, volume = 6188, year = 2010 }