Update Church's Lambda Calculus

Edit the current record, upload a new representative image if needed, and submit it to review.