All Questions

Name: Newest 'lambda-calculus+recursion' Questions - Software Engineering Stack Exchange
Rating: 4.6 (6047 reviews)

Ask Question

Tagged with lambda-calculus recursion

1 question

2votes

2answers

624views

General recursion to tail-recursion

Is it theoretically possible to transform every kind of general-recursion into tail-recursion? Are they equivalent for example from a lambda-calculus point of view? That's a debate between me and an ...

user131411

asked Jul 17, 2014 at 18:41

The Overflow Blog
How self-supervised language revolutionized natural language processing and...
“We’re not replacing you; we’re with you”: Where AI meets infrastructure
Featured on Meta
Updates to advertising guidelines
Evolving comments: An experiment to encourage engagement and follow-up questions

Hot Network Questions

What does trespass mean here?
Reasoning about quest and story deadlocks etc
How to convincingly erase a population's memory?
What is the difference between a minority government and a coalition government?
How do I bold font a lower-case Greek letter in a TikZ-network figure?
Are the 144000 virgins who accompany the lamb wherever he goes Christians?
I'm owed money from a non-profit for services rendered, but they are unresponsive
How can heat pumps be more efficient than electric/resistive heating?
Slow SQL query with nested subquery
Why did Germany allow and help introduce the Deutsche Mark to Montenegro?
How to find and replace single characters on either side a pair of variable numbers in Notepad++?
How to manipulate the variables when plotting in TikZ/pgfplot?
Awake and asleep
Does Logan age four years (or more), or do they adjust his life clock?
Denying entry to fleabitten service dogs
OTA took our money but won't give confirmation for my flight until 24 hrs before
Mechanism of cyclopropane ring formation from malonate ester
Mean Value Theorem 2.0
What is the drawback of always generating passphrases for the user?
How to convert a Finset of Nats to a Finset of Ints in Lean 4?
Idiomatic way of generating a unique filename?
Contact Record, Tab order
How can I fill a 4 inch gap between carpet and vinyl flooring?
How humid does it have to be for flamethrowers to start experiencing problems?

All Questions

General recursion to tail-recursion

Related Tags

Hot Network Questions