licata-2008-focusing:
  type: article
  title: Focusing on Binding and Computation
  author:
  - Licata, Daniel R.
  - Zeilberger, Noam
  - Harper, Robert
  date: 2008-06
  page-range: 241-252
  serial-number:
    doi: 10.1109/lics.2008.48
  parent:
    type: proceedings
    title: 2008 23rd Annual IEEE Symposium on Logic in Computer Science
    publisher: IEEE