3 ms·
I find it very hard to imagine how I could build a Turing Machine comparable to the lambda calculus approach as developed in this page http://lambdaway.free.fr
by martyalain 6y ago
I find it very hard to imagine how I could build a Turing Machine comparable to the lambda calculus approach as developed in this page
http://lambdaway.free.fr/lambdawalks/?view=fromroots2canopy http://lambdaway.free.fr/lambdawalks/?view=fromroots2canopy .