An Internal Language for Autonomous Categories

I. Mackie, L. Roman and S. Abramsky

book title	Journal of Applied Categorical Structures
pages	311-343
volume	1
year	1993

people

Samson Abramsky