Combinatory Logic and Lambda Calculus Computational Logic Logic and Foundations
Combinatory Logic and Lambda Calculus Computational Logic Logic and Foundations
Combinatory Logic and Lambda Calculus
Top: Science: Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus:
-
- Explains why this computer program is well suited to apply to functional application.
-
- An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
-
- 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.
-
- Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
|
