Hacker News new | ask | show | jobs
Beginner resources for formalizing lambda calculi (chrishenson.net)
3 points by jwdunne 408 days ago