3 ms·The Awesome Power of Theory – Explorations in the untyped lambda calculus (2014)3 points by esej 10y ago