Home > eis > papers > 1891
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.