Paolo Parisen Toldin

At the present i am interested in ICC (Implicit Computational Complexity). Its aim is to define, logically, the classes of Computational Complexity. I'm focusing on definitions of probabilistic complexity classes. Other interests concern imperative programming languages.