Title: Concise Note on Lambda Calculus