Difference between revisions of "SKI combinator calculus"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{WikiEntry|key=SKI combinator calculus|qCode=857813}} | {{WikiEntry|key=SKI combinator calculus|qCode=857813}} | ||
[[Category:Combinatorics]] | |||
[[Category:Closure]] | |||
[[Category:Logic]] | |||