K. Dosen

• Cut Elimination in Categories
• Cut Elimination in Categories (Trends in Logic)