Abstract: We introduce a method for proving almost sure termination in the context of lambda calculus with continuous random sampling and explicit recursion, based on ranking supermartingales. This ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results