Go back
Bookmarks categorized by tags
math/logic.
Proofs are Programs
Logical Quantifiers in Software
Introduction to the λ-calculus