mcbride-2002-elimination:
  type: chapter
  title: Elimination with a Motive
  author: McBride, Conor
  date: 2002
  page-range: 197-216
  url: http://dx.doi.org/10.1007/3-540-45842-5_13
  serial-number:
    doi: 10.1007/3-540-45842-5_13
    isbn: '9783540458425'
    issn: 0302-9743
  parent:
    type: book
    title: Types for Proofs and Programs
    publisher: Springer Berlin Heidelberg