%0 Conference Paper %1 conf/cie/VenturaAK08 %A Ventura, Daniel Lima %A Ayala-Rincón, Mauricio %A Kamareddine, Fairouz %B CiE %D 2008 %E Beckmann, Arnold %E Dimitracopoulos, Costas %E Löwe, Benedikt %I Springer %K %P 567-578 %T Principal Typings for Explicit Substitutions Calculi. %U http://dblp.uni-trier.de/db/conf/cie/cie2008.html#VenturaAK08 %V 5028 %@ 978-3-540-69405-2

@inproceedings{conf/cie/VenturaAK08, added-at = {2023-12-13T00:30:12.000+0100}, author = {Ventura, Daniel Lima and Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/2ee29d57820408195e7930fa68bf7fba5/admin}, booktitle = {CiE}, crossref = {conf/cie/2008}, editor = {Beckmann, Arnold and Dimitracopoulos, Costas and Löwe, Benedikt}, ee = {https://www.wikidata.org/entity/Q58001486}, interhash = {6442e1c6857b28887fcf10bcafebfab6}, intrahash = {ee29d57820408195e7930fa68bf7fba5}, isbn = {978-3-540-69405-2}, keywords = {}, pages = {567-578}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:30:12.000+0100}, title = {Principal Typings for Explicit Substitutions Calculi.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2008.html#VenturaAK08}, volume = 5028, year = 2008 }