altenkirch_etal_nd:
  type: article
  title: Normalization by evaluation for typed lambda calculus with coproducts
  author:
  - Altenkirch, T.
  - Dybjer, P.
  - Hofmann, M.
  - Scott, P.
  page-range: 303-310
  url: http://dx.doi.org/10.1109/LICS.2001.932506
  serial-number:
    doi: 10.1109/lics.2001.932506
  parent:
    type: proceedings
    title: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
    publisher: IEEE Comput. Soc
    parent:
      type: proceedings
      title: LICS-01