Hacker News new | ask | show | jobs
The Awesome Power of Theory – Explorations in the untyped lambda calculus (2014) (flownet.com)
3 points by esej 3459 days ago