Hacker News new | ask | show | jobs
by foopdoopfoop 2351 days ago
https://softwarefoundations.cis.upenn.edu/ is a nice introduction to computational logic, interactive theorem provers, lambda calculus, and the power of type systems.