Accessible categories and Models of Linear Logic (1990)

by M Barr
Venue:Journal of Pure and Applied Algebra