Home > eis > papers > 1891
Implementing the "Fool's model" of combinatory logic
Robert K. Meyer, Australian National University Martin W. Bunder, University of WollongongFollow Lawrence Powers, Wayne State University
87076
Meyer, R. K., Bunder, M. W. & Powers, L. (1991). Implementing the "Fool's model" of combinatory logic. Journal of Automated Reasoning, 7 (4), 597-630.
Please refer to publisher version or contact your library.
DOWNLOADS
Since February 04, 2014
http://dx.doi.org/10.1007/BF01880331
Advanced Search
Publication Details
Meyer, R. K., Bunder, M. W. & Powers, L. (1991). Implementing the "Fool's model" of combinatory logic. Journal of Automated Reasoning, 7 (4), 597-630.