Berardi Stefano
Department of Computer Science
University of Turin
Italy
Biography
Berardi Stefano is working as Professor at the Department of Computer Science, University of Turin, Italy.
Research Interest
INFORMATICA
Publications
-
Berardi S, Oliva P, Steila S. An analysis of the Podelski–Rybalchenko termination theorem via bar recursion. Journal of Logic and Computation. 2015 Aug 1:exv058.
-
Berardi S. Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness. InLIPIcs-Leibniz International Proceedings in Informatics 2015 (Vol. 41). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
