fiore_etal_nd:
  type: article
  title: Abstract syntax and variable binding
  author:
  - Fiore, M.
  - Plotkin, G.
  - Turi, D.
  page-range: 193-202
  url: http://dx.doi.org/10.1109/LICS.1999.782615
  serial-number:
    doi: 10.1109/lics.1999.782615
  parent:
    type: proceedings
    title: Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)
    publisher: IEEE Comput. Soc
    parent:
      type: proceedings
      title: LICS-99