- 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
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
2022/07/18 by Marcelo Fiore, Fiore, Marcelo · 3 citations
Computer Science · #03B38 #03B40 #68N18 #Category Theory (math.CT) #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
- Crumbling Abstract Machines
2019/07/13 by Accattoli, Beniamino, Condoluci, Andrea, Guerrieri, Giulio +1 · 2 citations
#03B40 #03B70 #68N18 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)