- Softcover
- Used
Seller: MostlyAcademic, Berrima, NSW, AustraliaMostlyAcademic
5-star seller
AbeBooks seller since October 6, 2021
Softcover
Condition: Used - Fine
US$ 21.69
US$ 34.95 shipping
Ships from Australia to U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Seller Inventory # ABE-1680241945176
- Title
- PROGRAM = PROOF
- Author
- Mimram, Samuel
- Publisher
- Independently published
- Publication year
- 2020
- Condition
- Fine
- Binding
- Soft cover
- 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.
MostlyAcademic
Berrima, NSW, Australia
5-star seller
AbeBooks seller since October 6, 2021
Shipping rates from Australia to U.S.A.
| Item | 8 to 14 business days | 25 to 45 business days |
|---|---|---|
| First item | US$ 34.95 | US$ 34.95 |
Payment methods
Store description
We sell academic, specialist books, from the mathematical sciences. Also a range of other subjects, especially philosophy, music, psychology, and children's books. We stock some rare books too as well as music scores, DVDs and CDs.
Specialty
New and usedSeller's business information
MostlyAcademic
NSW, Australia
Shipping terms
Items ship via Australia Post, using regular shipping. If insurance is required please specify and extra charges will be added.