A complete axiom system for isomorphism of types in closed categories
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 360-371
- https://doi.org/10.1007/3-540-56944-8_71
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Retrieving library functions by unifying types modulo linear isomorphismRAIRO - Theoretical Informatics and Applications, 1993
- The structure of free closed categoriesJournal of Pure and Applied Algebra, 1990
- Multicategories revisitedContemporary Mathematics, 1989
- Closed categories and the theory of proofsJournal of Mathematical Sciences, 1981
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- Deductive systems and categories II. Standard constructions and closed categoriesLecture Notes in Mathematics, 1969