%0 Journal Article %1 journals/iandc/BlooKN96 %A Bloo, Roel %A Kamareddine, Fairouz %A Nederpelt, Rob %D 1996 %J Inf. Comput. %K dblp %N 2 %P 123-143 %T The Barendregt Cube with Definitions and Generalised Reduction. %U http://dblp.uni-trier.de/db/journals/iandc/iandc126.html#BlooKN96 %V 126

@article{journals/iandc/BlooKN96, added-at = {2021-02-12T00:00:00.000+0100}, author = {Bloo, Roel and Kamareddine, Fairouz and Nederpelt, Rob}, biburl = {https://www.bibsonomy.org/bibtex/2cbdb3e053b3684c70891d8a5b4e8ff18/dblp}, ee = {https://doi.org/10.1006/inco.1996.0041}, interhash = {41270f5df2f2ebad23f4f9953c56a953}, intrahash = {cbdb3e053b3684c70891d8a5b4e8ff18}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {123-143}, timestamp = {2024-04-09T06:11:59.000+0200}, title = {The Barendregt Cube with Definitions and Generalised Reduction.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc126.html#BlooKN96}, volume = 126, year = 1996 }