2 ms·
SKI, Lambda Calculus, Turing Machines... FWIW, I think concatenative notation is the simplest useful computational framework. ( https://joypy.osdn.io https://
by carapace 6y ago
SKI, Lambda Calculus, Turing Machines... FWIW, I think concatenative notation is the simplest useful computational framework. ( https://joypy.osdn.io https://joypy.osdn.io disclosure: it's my project.) But I'm not mathematically sophisticated enough to make the formal argument.