Elements of Programming: A Treatise on the Foundations of Computing
6 months ago
- #programming
- #Leanpub
- #mathematics
- Elements of Programming presents programming as a mathematical discipline built on structure, logic, and proof.
- The book is structured into six books, each focusing on different aspects of programming and computation.
- Book I: Foundations of computation (identity, transformation, composition).
- Book II: Introduces algebraic structures (categories, functors, monads).
- Book III: Unites operational and denotational semantics for correctness.
- Book IV: Formalizes capability-based security and verification.
- Book V: Connects type theory with formal assurance.
- Book VI: Extends ideas into philosophy and ethics of software.
- Leanpub offers a 60-day 100% happiness guarantee with no-risk refunds.
- Authors earn 80% royalties on sales, with examples of significant earnings.
- Leanpub books come with free updates, DRM-free, and in multiple formats (PDF, EPUB).