|
|
|
Summary Of: Combinator
and combinator reduction is much simpler than lambda reduction... each primitive combinator comes with a reduction rule of the form... If we apply this combinator to any two terms... This combinator is equivalent to the earlier... point bases from which every combinator can be composed extensionally equal to... combinator according to rules similar to those presented above for the conversion of... were a combinator for detecting normal forms... Encyclodia Page On: Combinator
|
|
 |
