Is lambda-calculus without self-application turing complete? [closed] - functional-programming

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed 9 years ago.
Improve this question
Is lambda-calculus without self-application turing complete? Is there a proof of so?

Related

What does an overline above a graph mean? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed 5 years ago.
Improve this question
[Specifically in this example]]1
Not sure if this is the correct forum to post this, but an overline on a graph means the complement of the graph.
https://en.wikipedia.org/wiki/Complement_graph

Why is the sweave file extension 'rnw'? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed 6 years ago.
Improve this question
What does it stand for? I searched around for awhile, and there are a lot of web pages describing what a sweave file is, but not why the letters "rnw" were chosen.
It stands for R NoWeb I believe

Generating new R logo with R [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed 7 years ago.
Improve this question
The R project has a new logo:
Because it is much simpler than the old one it should be possible to generate it with an R script! Has anybody tried it yet?
That should be fun! :-)

Who invented the otpauth:// URI scheme? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed 9 years ago.
Improve this question
It seems really simple, but who invented the commonly-used otpauth:// scheme (used by Google Authenticator and other TOTP soft tokens by scanning QR codes)? When?

Lambda Calculus simplification [closed]

Closed. This question is off-topic. It is not currently accepting answers.
Want to improve this question? Update the question so it's on-topic for Stack Overflow.
Closed 10 years ago.
Improve this question
Below is the lambda expression which I am finding difficult to reduce i.e. I am not able to understand how to go about this problem.
(λmn(λsz.ms(nsz)))(λsz.sz)(λsz.sz)
I am lost with this.
if anyone could lead me in the right direction that would be much appreciated

Resources