Beginner resources for formalizing lambda calculi

by jwdunne on 5/11/2025, 2:41:24 PM with 0 comments