combinatory logic can be given a variety of interpretations. many early papers by curry showed how to translate axiom sets for conventional logic into combinatory logic equations (hindley and meredith 1990). dana scott in the 1960s and 1970s showed how to marry model theory and combinatory logic.