Partial Horn logic and cartesian categories (0)

by E Palmgren, S J Vickers
Venue:Annals of Pure and Applied Logic