- Softcover
- Used
Seller: HPB-Ruby, Dallas, TX, U.S.A.HPB-Ruby
5-star seller
AbeBooks seller since September 15, 2017
Softcover
Condition: Used - Very good
US$ 19.99
US$ 3.75 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.
Seller Inventory # S_478680742
- Title
- PROGRAM = PROOF
- Author
- Mimram, Samuel
- Publisher
- Independently published
- Publication year
- 2020
- Condition
- Very Good
- Binding
- paperback
- Language
- English
- ISBN 13
- 9798615591839
This course provides a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer's perspective: we want to understand the theory behind logic and programming languages, but also to write concrete programs (in OCaml) and proofs (in Agda). After an introduction to functional programming languages, we present propositional logic, λ-calculus, the Curry-Howard correspondence, first-order logic, Agda, dependent types and homotopy type theory.
"Synopsis" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 2 to 6 business days |
|---|---|---|
| First item | US$ 3.75 | US$ 6.99 |
Payment methods
Store description
Half Price Books has been connecting readers to great books since 1972. Customer service is our top priority.
Seller's business information
Half Price Books, Records, Magazines, Inc.
5803 East Northwest Highway
Dallas, TX U.S.A. 75231