A complete axiom system for isomorphism of types in closed categories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 698 LNAI, Issue , 1993, Pages 360-371

  Soloviev, S ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); LOGIC PROGRAMMING; TENSORS;

ASSOCIATIVITY; AXIOM SYSTEM; CLOSED CATEGORY; COMMUTATIVITY; DECISION ALGORITHMS; LINEAR LAMBDA CALCULUS; SYMMETRIC MONOIDAL CLOSED CATEGORIES;

SET THEORY;

EID: 78449232292     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56944-8_71     Document Type: Conference Paper

References (12)

1. M. Rittri. Retrieving library functions by unifying types modulo linear isomorphism. Proceedings of Conference on Lisp and Functional Programming, 1992.
2. S.V. Soloviev The category of finite sets and cartesian closed categories. Zapiski Nauchnych Seminarov Leningradskogo Otdelenya Matematicheskogo Instituta im. V.A. Steklova AN SSSR, 105:174–194, 1981 (English translation in: Journal of Soviet Mathematics, 22(3):1387–1400, 1983)
3. K. Bruce, R. Di Cosmo and G. Longo. Provable isomorphism of types. Preprint LIENS-90-14, Ecole Normale Superieure, Paris, 1990.
4. R. Di Cosmo. Invertibility of Terms and valid isomorphisms. A prooftheoretic study on second order lambda calculus with surjective pairing and terminal object. Technical Report LIENS-91-10, Ecole Normale Superieure, Paris, 1991.
5. J. Lambek. Deductive Systems and Categories. II. Lect. Notes in Math.. 86:76–122,1969.
6. J. Lambek. Multicategories Revisited. In J.W. Gray and A. Scedrov, editors, Categories in Computer Science and Logic. AMS, Providence, 217–239.
7. M.E. Szabo. Algebra of Proofs. Studies in Logic and the Foundations of Mathematics, 88, North-Holland P.C., 1978.
8. G.E. Mints. Closed categories and Proof Theory. J. Soviet Math., 15:45–62, 1981.
9. A.A. Babaev. Equality of Morphisms in Closed categories. I. Izvestia AN Azerbaijanskoi SSR, 1:3–9, 1981.
10. A.A. Babaev. Equality of Morphisms in Closed categories.II. Izvestia AN Azerbaijanskoi SSR, 2:3–9, 1981.
11. C.B. Jay. The structure of free closed categories. Journal of Pure and Applied Algebra, 66(3):271–287, 1990.
12. G.M. Kelly and S. Mac Lane. Coherence in Closed Categories. Journal of Pure and Applied Algebra, 1(1):97–140, 1971.