intrinsic-verification-of-parsers:
  type: article
  title: Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
  author:
  - Schaefer, Steven
  - Varner, Nathan
  - name: Amorim
    given-name: Pedro Henrique
    prefix: Azevedo de
  - New, Max S.
  date: 2025-06
  url: https://doi.org/10.1145/3729281
  serial-number:
    doi: 10.1145/3729281
  parent:
    type: periodical
    title: Proc. ACM Program. Lang.
    publisher:
      name: Association for Computing Machinery
      location: New York, NY, USA
    issue: PLDI
    volume: 9