GitHub - eperdew/SKI: A SKI Combinator Calculus Interpreter. Credits go to Prof. Nate Foster as I used his lexer, parser, main and Makefiles as a basis.
![Combinatory Logic Including Fixed Point Combinator BCKW System Ski Combinator Calculus Binary Combinatory Logic To Mock a Mockingbird Combinatory Categorical Grammar Applicative Computing Systems, Hephaestus Books. (Paperback ) Combinatory Logic Including Fixed Point Combinator BCKW System Ski Combinator Calculus Binary Combinatory Logic To Mock a Mockingbird Combinatory Categorical Grammar Applicative Computing Systems, Hephaestus Books. (Paperback )](https://nationalbookswap.com/pbs/xl/35/3035/443035.jpg)
Combinatory Logic Including Fixed Point Combinator BCKW System Ski Combinator Calculus Binary Combinatory Logic To Mock a Mockingbird Combinatory Categorical Grammar Applicative Computing Systems, Hephaestus Books. (Paperback )
![SKI combinators (really) are Turing complete. Greg Michaelson School of Mathematical and Computer Sciences Heriot-Watt University 5/11/20141SKI combinators. - ppt download SKI combinators (really) are Turing complete. Greg Michaelson School of Mathematical and Computer Sciences Heriot-Watt University 5/11/20141SKI combinators. - ppt download](https://images.slideplayer.com/24/7409174/slides/slide_17.jpg)