Natural deduction and coherence for weakly distributive categories (1996)

by R F Blute, J R B Cockett, R A G Seely, T H Trimble
Venue:Journal of Pure and Applied Algebra