berry_fiore_2025:
  type: misc
  title: Formal P-Category Theory and Normalization by Evaluation in Rocq
  author:
  - Berry, David G.
  - Fiore, Marcelo P.
  date: 2025
  publisher: arXiv
  url: https://arxiv.org/abs/2505.07780
  serial-number:
    doi: 10.48550/ARXIV.2505.07780