@misc{indiciaece60f4472eb8, title = {Classical Combinatory Logic}, author = {Karim Nour}, year = {2009}, url = {https://arxiv.org/abs/0905.1100}, note = {Source identifier: 0905.1100} }