Formalize function application and describe its notation in pure lambda calculus?

Pure Lambda Calculus

New · 0d
question
Formalize function application and describe its notation in pure lambda calculus?
Hint
© 2026 Scrambled Kitchen·GitHub