Program = Proof
Program = Proof explores the deep connection between computer science and mathematical logic through the lens of the Curry-Howard correspondence. Samuel Mimram provides a hands-on journey where writing a computer program is equivalent to constructing a formal proof. This approach bridges the gap between abstract theory and practical application, helping readers understand how modern programming l…
Shelves
More like this
Logicomix: An Epic Search for Truth
Logicomix transforms the cerebral history of modern logic into a gripping visual quest centered on philosopher Bertrand Russell. This graphic nove…
Clean Architecture
Building upon the success of best-sellers The Clean Coder and Clean Code, legendary software craftsman Robert C. "Uncle Bob" Martin shows how to b…
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited …
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham and Kevin Leyton-Brown provide a rigorous introduction to the complex world of multiagent systems, where independent intelligent entit…
Introduction to Algorithms
A comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, machine learning, an…
Domain-Driven Design: Tackling Complexity in the Heart of Software
"Eric Evans has written a fantastic book on how you can make the design of your software match your mental model of the problem domain you are add…
Conceptual Mathematics: A First Introduction to Categories
Conceptual Mathematics introduces category theory as a powerful tool for unifying different branches of math through the study of structures and r…
The C Programming Language
This book is meant to help the reader learn how to program in C. It is the definitive reference guide, now in a second edition. Although the first…
Designing Data-Intensive Applications
Data is at the center of many challenges in system design today. Difficult issues need to be figured out, such as scalability, consistency, reliab…
Homotopy Type Theory
Homotopy Type Theory presents a landmark synthesis of abstract algebra, topology, and computer science. Written by a collaborative team at the Ins…
Gödel's Proof
Kurt Godel changed the landscape of modern thought in 1931 when he proved that some mathematical truths can never be formally demonstrated. His In…
JavaScript: The Good Parts
Most programming languages contain good and bad parts, but JavaScript has more than its share of the bad, having been developed and released in a …