discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]
https://www.cis.upenn.edu/~cis511/notes/proofslambda.pdf
72 comments
8/4/2021