This isn`t a manifestation of the Curry-Howard isomorphism? 2010/6/8 Alexander Solla <ajs@2piix.com> On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote: You might note how much like evaluating the function generating the analysis is.
On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote: You might note how much like evaluating the function generating the analysis is.
You might note how much like evaluating the function generating the analysis is.