On the proof theory of type two functionals based on primitive recursive operations. - David Steiner 001; Thomas Strahm (Math. Log. Q., 2006)

Total Public Announcements. - David Steiner 001; Thomas Studer (LFCS, 2007)