Beginner resources for formalizing lambda calculi

3 points| jwdunne | 9 months ago |chrishenson.net