@misc{indiciae402ca9992bc2,
  title = {Formal P-Category Theory and Normalization by Evaluation in Rocq},
  author = {David G. Berry and Marcelo P. Fiore},
  year = {2025},
  url = {https://arxiv.org/abs/2505.07780},
  note = {Source identifier: 2505.07780}
}