Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids (1995)

by Ilya Beylin , Peter Dybjer
Venue:In TYPES
Citations:16 - 3 self