I'm having a hard time understanding Lambda Calculus and I have a two questions that I'm not sure how to do/what they mean. Below we are supposed to use Abstract Reduction Systems.
Define an ARS (N×N,→) that has unique normal forms. Argue why your ARS has unique normal forms.
Explain how to add and multiply normal forms.