Search
Browse books
My lists
Sign in
Sign up

Home > Authors > Mario Coppo

Mario Coppo

All books by Mario Coppo

(Displaying 1 Book)

Types for Proofs and Programs

Types for Proofs and Programs

Stefano Berardi

Looking for another book by Mario Coppo? Search for the book by title.

We currently have 1 876 852 books in our database.

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James.
Book data provided by Open Library

About Privacy Contact FAQ