Report copyright - Computing in Cantor's Paradise With ZFC · 2020-01-14 · mathematics with well-defined lambdas, or a practical lambda calculus with infinite sets.” Our Vision: λ calculus + Infinite
Please pass captcha verification before submit form