Natural deduction and coherence for weakly distributive categories (1996)

by Richard Blute, Robin Cockett, Robert Seely, Todd Trimble
Venue:Journal of Pure and Applied Algebra