@inproceedings{licata-2008-focusing, title={Focusing on Binding and Computation}, ISSN={1043-6871}, url={http://dx.doi.org/10.1109/lics.2008.48}, DOI={10.1109/lics.2008.48}, booktitle={2008 23rd Annual IEEE Symposium on Logic in Computer Science}, publisher={IEEE}, author={Licata, Daniel R. and Zeilberger, Noam and Harper, Robert}, year={2008}, month=June, pages={241–252} }