Gianluca Curzi

1. Computational expressivity of (circular) proofs with fixed points
   2023/02/28 by Gianluca Curzi, Anupam Das, Curzi, Gianluca +1 · 3 citations
   Computer Science · Psychology · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Philosophy and Theoretical Science
2. Cyclic Implicit Complexity
   2021/10/03 by Gianluca Curzi, Anupam Das, Curzi, Gianluca +1 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems