The awesome power of theory: adventures in the untyped lambda calculusflownet.com3 pointslisper10 years ago