Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]

(youtube.com) by matt_d | Jun 19, 2026 | 0 comments on HN