%0 Journal Article %1 journals/logcom/CurienHR96 %A Curien, Pierre-Louis %A Hardin, Thérèse %A Ríos, Alejandro %D 1996 %J J. Log. Comput. %K dblp %N 6 %P 799-817 %T Strong Normalizations of Substitutions. %U http://dblp.uni-trier.de/db/journals/logcom/logcom6.html#CurienHR96 %V 6

@article{journals/logcom/CurienHR96, added-at = {2023-06-28T00:00:00.000+0200}, author = {Curien, Pierre-Louis and Hardin, Thérèse and Ríos, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/2a12ce86e33c8884533184bf57ffef3f8/dblp}, ee = {https://doi.org/10.1093/logcom/6.6.799}, interhash = {8d14a2af61172ab884fa8928f50691de}, intrahash = {a12ce86e33c8884533184bf57ffef3f8}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {799-817}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {Strong Normalizations of Substitutions.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom6.html#CurienHR96}, volume = 6, year = 1996 }