fiore-2022-semantic:
  type: article
  title: Semantic analysis of normalisation by evaluation for typed lambda calculus
  author: Fiore, Marcelo P.
  date: 2022-09
  page-range: 1028-1065
  serial-number:
    doi: 10.1017/s0960129522000263
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 8
    volume: 32