Gabriele Vanoni

1. The (In)Efficiency of interaction
   2021/01/04 by Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni · 1 voice · 4 citations
   Computer Science · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
2. The (In)Efficiency of Interaction
   2020/10/24 by Beniamino Accattoli, Ugo Dal Lago, Accattoli, Beniamino +3 · 2 citations
   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)
3. 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