Types for Proofs and ProgramsStefano Berardi
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2004
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540248491
Data source: Wikidata