das-2024-on:
  type: misc
  title: On the complexity of normalization for the planar λ-calculus
  author:
  - Das, Anupam
  - Mazza, Damiano
  - Nguyên, Lê Thành Dũng
  - Zeilberger, Noam
  date: 2024-04
  serial-number:
    arxiv: '2404.05276'