U. Kohlenbach

• Applied proof theory