https://e-sygoing.link Latest links in the Combinatory Logic and Lambda Calculus category en-us Wed, 10 Jun 2026 09:47:44 -0400 https://e-sygoing.link/link/5285754-lambda An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions. Wed, 01 Oct 2025 19:30:03 -0400 https://e-sygoing.link/go/5285754 https://e-sygoing.link/link/5285752-dual-identity-combinators Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic. Thu, 10 Apr 2025 10:32:18 -0400 https://e-sygoing.link/go/5285752 https://e-sygoing.link/link/5285755-perl-contains-the-lambda-calculus Explains why this computer program is well suited to apply to functional application. Mon, 31 Mar 2025 23:28:23 -0400 https://e-sygoing.link/go/5285755