%0 Journal Article %1 journals/apal/KamareddineBN99 %A Kamareddine, Fairouz %A Bloo, Roel %A Nederpelt, Rob %D 1999 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 27-45 %T On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. %U http://dblp.uni-trier.de/db/journals/apal/apal97.html#KamareddineBN99 %V 97

@article{journals/apal/KamareddineBN99, added-at = {2020-02-21T00:00:00.000+0100}, author = {Kamareddine, Fairouz and Bloo, Roel and Nederpelt, Rob}, biburl = {https://www.bibsonomy.org/bibtex/2b7d5c30ab4d686371203d0b8cc9fc46d/dblp}, ee = {https://doi.org/10.1016/S0168-0072(98)00019-0}, interhash = {2c04a22ab60ef1177645822661fb7205}, intrahash = {b7d5c30ab4d686371203d0b8cc9fc46d}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {27-45}, timestamp = {2020-02-22T12:46:32.000+0100}, title = {On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal97.html#KamareddineBN99}, volume = 97, year = 1999 }