Alonzo Church

1234567891011
Across
  1. 2. part of Alonzo Church's name that names a numeral system in lambda calculus
  2. 3. a meta-reference to this
  3. 5. a variant of lambda calculus that has equivalent computing power as a Turing machine
  4. 6. a common food, made with flour, eggs, cream, used during birthdays
  5. 7. the K combinator, where x is the first argument, y is the second
  6. 10. the result of id(x) where id is the "identity" function
  7. 11. number one, in Church numerals, if zero is defined as λf.λx.x
Down
  1. 1. the opposite of "down"
  2. 3. the one word that is commonly underlined as red that even Alistair did not notice it as a true word, and instead of looking up this word he marked this as a mispelling and identified it as the writer's mistake: YOU ARE READING A RESEARCH PAPER, YOU ARE RESPONSIBLE FOR LOOKING UP UNKNOWN WORDS!
  3. 4. the opposite of "across"
  4. 8. the fix-point equation, in terms of f and x, where f is the function name
  5. 9. the I combinator, in terms of x