Fiore, Marcelo P.
- Formal P-Category Theory and Normalization by Evaluation in Rocq
2025/05/12 by David Carson Berry, Berry, David G., Marcelo Fiore +1 · 2 citations
Computer Science · Mathematics · #03B38 #03B40 #68N18 #Category Theory (math.CT) #Constraint Satisfaction and Optimization #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems