Linear logic, coherence and dinaturality
- 5 July 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 115 (1) , 3-41
- https://doi.org/10.1016/0304-3975(93)90053-v
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- The geometry of tensor calculus, IAdvances in Mathematics, 1991
- The structure of free closed categoriesJournal of Pure and Applied Algebra, 1990
- Functorial polymorphismTheoretical Computer Science, 1990
- Languages for monoidal categoriesJournal of Pure and Applied Algebra, 1989
- On natural transformations of distinguished functors and their superpositions in certain closed categoriesJournal of Pure and Applied Algebra, 1987
- Linear logicTheoretical Computer Science, 1987
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Coherence for compact closed categoriesJournal of Pure and Applied Algebra, 1980
- PolycategoriesCommunications in Algebra, 1975
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971