Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
lambda substitution
Replies:
9
Last Post:
Apr 7, 2005 7:14 PM




Re: lambda substitution
Posted:
Apr 7, 2005 3:37 AM


William, I've seen the [A/B] notation around a lot. Curry may have used it. My Old yellow tomes are in my office, so I can't be more definitive than that.



