Beginner resources for formalizing lambda calculi

3 points by jwdunne 1 month ago | 0 comments