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.