The awesome power of theory: explorations in the untyped λ calculusflownet.com16 pointslisper11 years ago