Skip to main content

Questions tagged [recursion]

For questions relating to recursion, or functions that call themselves.

Filter by
Sorted by
Tagged with
16 votes
1 answer
1k views

How can we define a denotational semantics for recursive functions?

Motivation I want to define a denotational semantics (see here or here) for recursive functions in my language, by representing them as mathematical functions. Background Consider a simple language ...
David Young's user avatar
  • 2,237
12 votes
6 answers
3k views

Early binding, mutual recursion, closures. Can I have all three?

Take this Python snippet of two functions that are mutually recursive and form closures: ...
BoppreH's user avatar
  • 1,441