Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
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
Stefano Berardi
Looking for another book by Mario Coppo?
Search for the book
by title.