Sure. And Markov algorithms are much better than lambda calculus. See Simon Peyton Jones's recent works on supercompilation which is deeply rooted in Markov alg

Sure. And Markov algorithms are much better than lambda calculus. See Simon Peyton Jones's recent works on supercompilation which is deeply rooted in Markov algorithms based Refal language.