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
I. Mackie‚ L. Roman and S. Abramsky