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