roux-2014-the:
  type: chapter
  title: The Structural Theory of Pure Type Systems
  author:
  - Roux, Cody
  - name: Doorn
    given-name: Floris
    prefix: van
  date: 2014
  page-range: 364-378
  url: http://dx.doi.org/10.1007/978-3-319-08918-8_25
  serial-number:
    doi: 10.1007/978-3-319-08918-8_25
    isbn: '9783319089188'
    issn: 1611-3349
  parent:
    type: book
    title: Rewriting and Typed Lambda Calculi
    publisher: Springer International Publishing