Cut Elimination in Categories (1999)

by K Do˘sen
Venue:Trends in Logic 6