Skip to main content

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