Concepedia

Stefano Berardi

SB

Statistics

Publications

17

Citations

502

H-Index

12

Active since

1991

Affiliations

University of Turin(Current)

Stefano Berardi is an author at University of Turin specializing in computer science, mathematics, and computing.

Publications per year

1991–2021

17

Publications

17

A Symmetric Lambda Calculus for Classical Program Extraction

Franco Barbanera, Stefano Berardi · Information and Computation · 1996 · 124 citations

, , +13

On the computational content of the axiom of choice

Stefano Berardi, Marc Bezem, Thierry Coquand · Journal of Symbolic Logic · 1998 · 102 citations

, , +12

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

Federico Aschieri, Stefano Berardi · Logical Methods in Computer Science · 2010 · 42 citations · Full text

, , +14

An arithmetical hierarchy of the law of excluded middle and related principles

Yohji Akama, Stefano Berardi, Susumu Hayashi et al. · 2004 · 37 citations

, , +15

Pruning simply typed  -terms

Stefano Berardi · Journal of Logic and Computation · 1996 · 31 citations

, , +11

1–5 of 17