173 SFS

Please write your name on your paper.

  1. What's the goal of, and what two problems are addressed by, the fixed-point operator (or paradoxical combinator) Y(f), or our λ-calculus definition of recursive?
  2. What is the mathematical definition of the fixed-point operator (or paradoxical combinator) Y(f)?
  3. What is the λ-calculus definition of the fixed-point operator (or paradoxical combinator) recursive?