Structured Combinators for Efficient Graph Reduction
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.
The easiest problem you cannot solve. - DEV Community
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 )
GitHub - adampalay/SKITypes: Implementing the SKI combinator calculus in Haskell's type system
combinatory logic | chorasimilarity
Example: decorations of S,K,I combinators in simply typed graphic lambda calculus | chorasimilarity
SKI School: The Combinator Calculus Demystified - YouTube
David Madore - esoteric.codes
GitHub - adidahiya/SKI-Calculus: An interpreter for the SKI combinator calculus
The Ξ function | Complex Projective 4-Space
The SKI Combinator Calculus a universal formal system
Implementing functional operators using SKI combinator calculus