allais-2021-a:
  type: article
  title: 'A type- and scope-safe universe of syntaxes with binding: their semantics and proofs'
  author:
  - ALLAIS, GUILLAUME
  - ATKEY, ROBERT
  - CHAPMAN, JAMES
  - MCBRIDE, CONOR
  - MCKINNA, JAMES
  date: 2021
  url: http://dx.doi.org/10.1017/s0956796820000076
  serial-number:
    doi: 10.1017/s0956796820000076
    issn: 1469-7653
  parent:
    type: periodical
    title: Journal of Functional Programming
    publisher: Cambridge University Press (CUP)
    volume: 31