fiore-2008-second:
  type: article
  title: Second-Order and Dependently-Sorted Abstract Syntax
  author: Fiore, Marcelo P.
  date: 2008-06
  page-range: 57-68
  serial-number:
    doi: 10.1109/lics.2008.38
  parent:
    type: proceedings
    title: 2008 23rd Annual IEEE Symposium on Logic in Computer Science
    publisher: IEEE