Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday

Thorsten Altenkirch, Franco Barbanera, Ferruccio Damiani +1

Proof Theory and Type Theory are two branches of mathematical logic and theoretical computer science that explore the structure of mathematical proofs and the foundations of comput…