Implementing the Fool s Model of Combinatory Logic

Robert K. Meyer, Martin W. Bunder, Lawrence Powers. Implementing the Fool s Model of Combinatory Logic. Journal of Automated Reasoning, 7(4):597-630, 1991.

Abstract

Abstract is missing.