Difference between revisions of "SKI combinator calculus"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key=SKI Combinator Calculus|qCode=857813}}") |
m (Benkoo moved page SK Combinators to SKI combinator calculus) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{WikiEntry|key=SKI | {{WikiEntry|key=SKI combinator calculus|qCode=857813}} | ||
[[Category:Combinatorics]] | |||
[[Category:Closure]] | |||
[[Category:Logic]] |