An internal language for autonomous categories
- 1 January 1993
- journal article
- research article
- Published by Springer Nature in Applied Categorical Structures
- Vol. 1 (3) , 311-343
- https://doi.org/10.1007/bf00873993
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Functions as processesPublished by Springer Nature ,2005
- Computational interpretations of linear logicTheoretical Computer Science, 1993
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- A note on natural numbers objects in monoidal categoriesStudia Logica, 1989
- Monoidal categories with natural numbers objectStudia Logica, 1989
- Languages for monoidal categoriesJournal of Pure and Applied Algebra, 1989
- On the unity of algebra and logicLecture Notes in Mathematics, 1988
- Linear logicTheoretical Computer Science, 1987
- Why commutative diagrams coincide with equivalent proofsContemporary Mathematics, 1982
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971