atkey-2009-syntax:
  type: chapter
  title: 'Syntax for Free: Representing Syntax with Binding Using Parametricity'
  author: Atkey, Robert
  date: 2009
  page-range: 35-49
  url: http://dx.doi.org/10.1007/978-3-642-02273-9_5
  serial-number:
    doi: 10.1007/978-3-642-02273-9_5
    isbn: '9783642022739'
    issn: 1611-3349
  parent:
    type: book
    title: Typed Lambda Calculi and Applications
    publisher: Springer Berlin Heidelberg