Natural Deduction and Coherence for Weakly Distributive Categories (1991)

Cached

Download Links

by R. F. Blute , J.R.B. Cockett , R.A.G. Seely , T. H. Trimble
Venue:Journal of Pure and Applied Algebra
Citations:67 - 25 self