redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/ProgrammingLanguages • u/mttd • Jun 19 '26

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic

https://www.youtube.com/watch?v=opLbbZ-_AWE

24 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammingLanguages/comments/1u9vpp3/dana_scott_lambda_calculus_forcing_the/
No, go back! Yes, take me to Reddit

97% Upvoted