%0 Journal Article %1 journals/jfp/KamareddineR97 %A Kamareddine, Fairouz %A Ríos, Alejandro %D 1997 %J J. Funct. Program. %K dblp %N 4 %P 395-420 %T Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. %U http://dblp.uni-trier.de/db/journals/jfp/jfp7.html#KamareddineR97 %V 7

@article{journals/jfp/KamareddineR97, added-at = {2023-06-28T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Ríos, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/2550405bc3068c283061083223793acef/dblp}, ee = {https://doi.org/10.1017/s0956796897002785}, interhash = {1fb8109e0da5460de9a180b2276a0857}, intrahash = {550405bc3068c283061083223793acef}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 4, pages = {395-420}, timestamp = {2024-04-09T06:04:24.000+0200}, title = {Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp7.html#KamareddineR97}, volume = 7, year = 1997 }