Content deleted Content added
m →Operational issues: lk |
m →[[Combinatory logic]]: SKI combinator calculus |
||
Line 26:
*[[Fixed point combinator]]
*[[SKI combinator calculus]]
*[[B,C,K,W system]]
*[[SECD machine]]
|
m →Operational issues: lk |
m →[[Combinatory logic]]: SKI combinator calculus |
||
Line 26:
*[[Fixed point combinator]]
*[[SKI combinator calculus]]
*[[B,C,K,W system]]
*[[SECD machine]]
|