in sending with name using ? (counting), how does the process happen? [closed]
- by sam
Sometimes expressions has two states. the result of analyses might be two different things but at the end, there might be the same answer(result) for them.(the way we get to the answer is different,but the result is the same)
for example:
P-Q = M
P-T = M
in lambda we have two solutions.
1.sending with name. (in ALGOL it have over load)
2.sending with value
Example:
Q: (?y.(yy) (?x.(xx)a))
1.sending with name
(?x.(xx)a ?x.(xx)a)
((aa)(aa))
2.sending with value
(?y.(yy) aa)
((aa)(aa))
now here is the question, in sending with name that used ? (counting), how does the process happen? How this sending (transmittal) happen? How does it work?
