Clicky

Types for Proofs and Programs by Stefano Berardi and similar books you'll love - Bookscovery

Home > Authors > Stefano Berardi > Types for Proofs and Programs

Buy at: Bookshop.org Amazon

Types for Proofs and Programs

Stefano Berardi, Mario Coppo, Ferruccio Damiani

Recent activity

Rate this book to see your activity here.

2 Books Similar to Types for Proofs and Programs by Stefano Berardi

Bookscovery readers who liked Types for Proofs and Programs also like A sequent calculus for limit computable mathematics (technical report), and Formal Methods for Executable Software Models. How many of these have you read?

A sequent calculus for limit computable mathematics (technical report) by Stefano Berardi

Cover of A sequent calculus for limit computable mathematics (technical report)
Buy this book at:
Bookshop.org Amazon

Formal Methods for Executable Software Models by Marco Bernardo

Cover of Formal Methods for Executable Software Models
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Types for Proofs and Programs

Please sign in to leave a comment