| • | Haskell Curry, in his doctoral thesis Grundlagen der kombinatorischen Logik [HTTP ], already proposed a system with separated functional characteristics: association, conversion, cancellation and duplication. If in addition we request regular, proper (and between these, minimals) combinators they are, B, C, K and W (today nomenclature). As it is difficult to have the original system of combinatorial axioms we reproduce here the version given by Rosenbloom in The Elements of Mathematical Logic, where he uses application prefix which we change into usual infix notation and, in the context to recover [HTTP ], leave I without defining it: so, beware!.
Source: [wikipedia: b,c,k,w system]
|