Partial Horn logic and cartesian categories (2009)

by E. Palmgren , S. J. Vickers
Venue: ANNALS OF PURE AND APPLIED LOGIC 145 (3) (2007), PP. 314- 353
Citations:8 - 4 self