Preview
Unable to display preview. Download preview PDF.
References
Asperti A., Longo G. [1989] Applied category theory: an introduction to categories, types and structures for the working computer scientist, M.I.T. Press, to appear.
Bruce K., Longo G. [1985] “Provable isomorphisms and domain equations in models of typed languages,” (Preliminary version) 1985 A.C.M. Symposium on Theory of Computing (STOC 85), Providence (R.I.), May, (263–272).
Dezani M. [1976] “Characterization of normal forms possessing an inverse in the λβη-calculus,” Theor. Comp. Sci., 2 (323–337).
Kelly G.M., Mac Lane S.,[1971] “Coherence in closed categories”, J. Pure Appl. Algebra, no 1, (97–140); erratum, ibid. no 2, 219.
Lambek J., [1968] “Deductive systems and categories I, Syntactic calculus and residuated categories”, Math. Systems Theory 2, (287–318).
Lambek J., [1969] “Deductive systems and categories II, Standard constructions and closed categories”, Lecture Notes in Math., Vol. 86, Springer r-Verlag, Berlin (76–122).
Mac Lane S. [1963] “Natural associativity and commutativity”, Rice University Studies 49 (28–46).
Mac Lane S. [1976] “Topology and logic as a source of algebra” (retiring Presidential address), Bull Amer. Math. Soc. 82, n o, 1, (1–40).
Minc G.E. [1972] “A cut elimination theorem for relevant logics” (Russian English summary), Investigations in constructive mathematics and mathematical logic V. Zap. Naucn Sem. Leningrad Otdel mat. Inst. Steklov (LOMI) 32, (90–97); 156.
Minc G.E., [1977] “Closed categories and the theory of proofs (Russian, English Summary)”, Zap Naucn. Sem. Leningrad Otdel Mat. Inst. Steklov (LOMI) 68, (83–114); 145. (Trans circulated as preprint).
Minc G.E. [197?] “A simple proof of the coherence theorem for cartesian closed categories” Bibliopolis (to appear in translation from russian).
Minc G.E. [197?] “Proof theory and category theory” Bibliopolis (to appear in translation from russian).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Longo, G. (1989). Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective. In: Pitt, D.H., Rydeheard, D.E., Dybjer, P., Pitts, A.M., Poigné, A. (eds) Category Theory and Computer Science. Lecture Notes in Computer Science, vol 389. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018341
Download citation
DOI: https://doi.org/10.1007/BFb0018341
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51662-0
Online ISBN: 978-3-540-46740-3
eBook Packages: Springer Book Archive