Mario Coppo

Mario Coppo

1 books in the database

Books

Theoretical Computer ScienceMario Coppo

Theoretical Computer Science

Mario Coppo · 2005

Co-authored books and collections

Books that list Mario Coppo among their authors but not as the lead author: co-written works, collections and compilations.

Types for Proofs and ProgramsStefano Berardi

Types for Proofs and Programs

Stefano Berardi · 2004