1. How to represent natural numbers by λ-calculus?
2. Use actor language to represent the two dining philosopher problem.