The Awesome Power of Theory – Explorations in the untyped lambda calculus (2014)(flownet.com)3 points by esej 9 years ago | 0 commentsNo comments yet