Coen, Claudio Sacerdoti

1. Strong Call-by-Value is Reasonable, Implosively
   2021/02/13 by Accattoli, Beniamino, Condoluci, Andrea, Coen, Claudio Sacerdoti · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Sharing Equality is Linear
   2019/07/13 by Condoluci, Andrea, Accattoli, Beniamino, Coen, Claudio Sacerdoti · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Thinking Machines: Mathematical Reasoning in the Age of LLMs
   2025/08/01 by Andrea Asperti, Asperti, Andrea, Alberto Naibo +3 · 2 voices · 1 citation
   Computer Science · #68T07 #68T20 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.3 #I.2.6 #I.2.7 #cs.AI
4. Crumbling Abstract Machines
   2019/07/13 by Accattoli, Beniamino, Condoluci, Andrea, Guerrieri, Giulio +1 · 3 citations
   #03B40 #03B70 #68N18 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)