Presentations

Some talks

Predicative recursion on the Veblen hierarchy

Proof Society Workshop, Ghent, Belgium
PDF