Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective
- 22 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Provable isomorphisms and domain equations in models of typed languagesPublished by Association for Computing Machinery (ACM) ,1985
- Characterization of normal forms possessing inverse in the λ-β-η-calculusTheoretical Computer Science, 1976
- Topology and logic as a source of algebraBulletin of the American Mathematical Society, 1976
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- Deductive systems and categories II. Standard constructions and closed categoriesLecture Notes in Mathematics, 1969
- Deductive systems and categoriesTheory of Computing Systems, 1968