Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]

Article URL: https://www.cis.upenn.edu/~cis511/notes/proofslambda.pdf

Comments URL: https://news.ycombinator.com/item?id=26733468

Points: 18

# Comments: 0

from Hacker News: Front Page https://ift.tt/2PKK0pp
via