%0 Journal Article %1 journals/logcom/KamareddineR00 %A Kamareddine, Fairouz %A Ríos, Alejandro %D 2000 %J J. Log. Comput. %K dblp %N 3 %P 349-380 %T Relating the λσ- and λs-styles of explicit substitutions. %U http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#KamareddineR00 %V 10

@article{journals/logcom/KamareddineR00, added-at = {2023-06-28T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Ríos, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/26cd2bb540ce52f9a8ab66eae0edc588b/dblp}, ee = {https://doi.org/10.1093/logcom/10.3.349}, interhash = {e8aa325a2465166044e2f2b3ac0ee1bc}, intrahash = {6cd2bb540ce52f9a8ab66eae0edc588b}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {349-380}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {Relating the λσ- and λs-styles of explicit substitutions.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#KamareddineR00}, volume = 10, year = 2000 }