Title: Cut elimination in categories
First published: 1999
Subjects: Categories (Mathematics), Proof theory, Categories (mathematics), Elimination
LC classification: QA169 .D67 1999