The Awesome Power of Theory – Explorations in the untyped lambda calculus (2014)flownet.com3 pointsesej9 years ago