%0 Journal Article %1 journals/jlp/KamareddineB05a %A Kamareddine, Fairouz %A Bloo, Roel %D 2005 %J J. Log. Algebraic Methods Program. %K dblp %N 2 %P 159-189 %T De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. %U http://dblp.uni-trier.de/db/journals/jlp/jlp62.html#KamareddineB05a %V 62

@article{journals/jlp/KamareddineB05a, added-at = {2021-02-16T00:00:00.000+0100}, author = {Kamareddine, Fairouz and Bloo, Roel}, biburl = {https://www.bibsonomy.org/bibtex/2d11a0cce21eecc0e93307eaa9d3489b7/dblp}, ee = {https://doi.org/10.1016/j.jlap.2004.01.008}, interhash = {4aef864cb70a3df103fb4e1596fb62a5}, intrahash = {d11a0cce21eecc0e93307eaa9d3489b7}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 2, pages = {159-189}, timestamp = {2024-04-08T10:49:58.000+0200}, title = {De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp62.html#KamareddineB05a}, volume = 62, year = 2005 }