| |
| 1993 | ||
|---|---|---|
| 2 | Ian Mackie, Leopoldo Román, Samson Abramsky: An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246 | |
| 1 | EE | Ian Mackie, Leopoldo Román, Samson Abramsky: An internal language for autonomous categories. Applied Categorical Structures 1(3): 311-343 (1993) |
| 1 | Samson Abramsky | [1] [2] |
| 2 | Ian Mackie | [1] [2] |