Cita APA (7a ed.)

Berry, D. G., & Fiore, M. P. (2025). Formal P-Category Theory and Normalization by Evaluation in Rocq.

Cita Chicago Style (17a ed.)

Berry, David G., y Marcelo P. Fiore. Formal P-Category Theory and Normalization by Evaluation in Rocq. 2025.

Cita MLA (9a ed.)

Berry, David G., y Marcelo P. Fiore. Formal P-Category Theory and Normalization by Evaluation in Rocq. 2025.