[Openmcl-devel] John McCarthy passed away
lisp at clairvaux.org
Tue Oct 25 14:05:54 UTC 2011
"We shall first define a class of symbolic expressions in terms of ordered pairs and lists. Then we shall define five elementary functions and predicates, and build from them by composition, conditional expressions, and recursive definitions an extensive class of functions of which we shall give a number of examples. We shall then show how these functions themselves can be expressed as symbolic expressions, and we shall define a universal function apply that allows us to compute from the expression for a given function its value for given arguments."
Recursive Functions of Symbolic Expressions
and their Computation by Machine, Part I
On Oct 25, 2011, at 9:09 AM, Paul Krueger wrote:
> For anyone who hasn't heard ...
> Openmcl-devel mailing list
> Openmcl-devel at clozure.com
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Openmcl-devel