Wednesday 8th March, 2006

Recursion as Feedback
presented by Martin Hyland (Cambridge, UK).

The root of recursion is rerunning; it amounts to repeating the same thing over and over. The fact that this is related to the idea of feedback is clear from one of the first results of modern logic: the simulation of general recursion by a fixed point combinator of the lambda calculus. I shall describe that and a variety of more modern abstract instances of the same general idea; and I shall give a range of accessible examples.


Last modified Jan 2, 2007
Maintained by Pat Hill (hill@comp.leeds.ac.uk)