Marcelo P. Fiore

Identifiers

• name variant Marcelo P. Fiore 0.60 · backfill

Papers (2)

1. Formal P-Category Theory and Normalization by Evaluation in Rocq cs.LO · 2025 · author #2
2. Quotients, inductive types, and quotient inductive types cs.LO · 2021 · author #1

Mentions

• 2505.07780 #2 · arxiv_oai · confidence 0.70 Marcelo P. Fiore
• 2101.02994 #1 · arxiv_oai · confidence 0.70 Marcelo P. Fiore

Frequent Coauthors

• Andrew M. Pitts 1 shared papers
• David G. Berry 1 shared papers
• S. C. Steenkamp 1 shared papers