Please write your name on your paper.

- 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`? - What is the mathematical definition of the
fixed-point operator
(or paradoxical combinator)
Y(f) ? - What is the λ-calculus
definition of the fixed-point operator
(or paradoxical combinator)
`recursive`?