j
k
j a
j l
This isn`t a manifestation of the Curry-Howard isomorphism? 2010/6/8 Alexander Solla ...On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote: ...You might note how much like evaluating the function generating the analysis is.
This isn`t a manifestation of the Curry-Howard isomorphism?
2010/6/8 Alexander Solla
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.
Attachments:
Back to the thread
Back to the list