An Internal Language for Autonomous Categories
I. Mackie‚ L. Roman and S. Abramsky
Details
| Book Title |
Journal of Applied Categorical Structures |
| Pages |
311−343 |
| Volume |
1 |
| Year |
1993 |
Links
Related pages
|
People |