assioma Del Vuoto : (Cosmo-Agonia/Noi Due)Stefano Donno, Pasquale Vitagliano, Gianpiero Berardi · First published 2020Open the Tome
A sequent calculus for limit computable mathematics (technical report)Stefano Berardi · First published 2006Open the Tome
Types for Proofs and ProgramsStefano Berardi, Mario Coppo, Ferruccio Damiani · First published 2004Open the Tome
