Sponsored This site contains affiliate links for which we may receive compensation. More information
WHSmith 85.00 GBP
85.00 GBP
27-07-2026 13:02:49
Explore the core of modern programming languages through rigorous type theory, detailed formal semantics, and illustrative proofs that bridge abstract concepts with real-world language design.
