Feedback for linearly distributive categories: traces and fixpoints
暂无分享,去创建一个
[1] R. Ho. Algebraic Topology , 2022 .
[2] Michael Barr. Duality of vector spaces , 1976 .
[3] D. A. Higgs,et al. Nuclearity in the category of complete semilattices , 1989 .
[4] Jean-Yves Girard,et al. Geometry of interaction 2: deadlock-free algorithms , 1990, Conference on Computer Logic.
[5] Hongde Hu,et al. Coherence completions of categories and their enriched softness , 1997, MFPS.
[6] R. A. G. Seely,et al. Weakly distributive categories , 1997 .
[7] P. Panangaden,et al. Nuclear and trace ideals in tensored-categories , 1998, math/9805102.
[8] J. Robin B. Cockett,et al. ! and ? – Storage as tensorial strength , 1996, Mathematical Structures in Computer Science.
[9] Ross Street,et al. Traced monoidal categories , 1996 .
[10] J.R.B. Cockett,et al. Applications of Categories in Computer Science: Weakly distributive categories , 1992 .
[11] Masahito Hasegawa,et al. Models of Sharing Graphs , 1999, Distinguished Dissertations.
[12] Philip J. Scott,et al. Linear Läuchli Semantics , 1996, Ann. Pure Appl. Log..
[13] A. Joyal,et al. The geometry of tensor calculus, I , 1991 .
[14] R. A. G. Seely,et al. Linearly distributive functors , 1999 .
[15] R. Seely,et al. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. , 1997 .
[16] R. Blute,et al. Natural deduction and coherence for weakly distributive categories , 1996 .
[17] Alex K. Simpson. A Characterisation of the Least-Fixed-Point Operator by Dinaturality , 1993, Theor. Comput. Sci..
[18] Jean-Yves Girard,et al. Geometry of Interaction 1: Interpretation of System F , 1989 .
[19] Radha Jagadeesan,et al. New Foundations for the Geometry of Interaction , 1994, Inf. Comput..
[20] Samson Abramsky,et al. Retracing some paths in Process Algebra , 1996, CONCUR.