Beniamino Accattoli

1. The (In)Efficiency of interaction
   2021/01/04 by Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni · 1 voice · 3 citations
   Computer Science · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
2. A Strong Distillery
   2015/09/03 by Beniamino Accattoli, Accattoli, Beniamino, Pablo Barenbaum +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #semigroups and automata theory
3. On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
   2012/02/08 by Beniamino Accattoli, Ugo Dal Lago, Accattoli, Beniamino +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
4. Distilling Abstract Machines (Long Version)
   2014/06/09 by Beniamino Accattoli, Pablo Barenbaum, Accattoli, Beniamino +3 · 1 voice
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.PL
5. The (In)Efficiency of Interaction
   2020/10/24 by Beniamino Accattoli, Ugo Dal Lago, Accattoli, Beniamino +3 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
6. Reasonable Space for the λ-Calculus, Logarithmically
   2024/11/20 by Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni · 1 voice
   Computer Science · #Advanced Database Systems and Queries #Computability, Logic, AI Algorithms #Parallel Computing and Optimization Techniques